Zobrazeno 1 - 10
of 18
pro vyhledávání: '"Abstraction operator"'
Autor:
Tennant, Neil, author
Publikováno v:
The Logic of Number, 2022.
Externí odkaz:
https://doi.org/10.1093/oso/9780192846679.003.0021
Autor:
Kasper Dokter
Publikováno v:
Formal Aspects of Component Software ISBN: 9783030409135
FACS
FACS
We introduce multilabeled Petri nets as an inherently parallel generalization of constraint automata. Composition of multilabeled nets does not suffer from state-space explosions, which makes them an adequate intermediate representation for code gene
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c0126e173133e62af620992e73289ca1
https://doi.org/10.1007/978-3-030-40914-2_6
https://doi.org/10.1007/978-3-030-40914-2_6
Autor:
Hazel Pearson
Publikováno v:
Natural Language Semantics. 23:77-118
This paper presents novel data regarding the logophoric pronoun in Ewe. We show that, contrary to what had been assumed in the absence of the necessary fieldwork, Ewe logophors are not obligatorily interpreted de se. We discuss the prima facie rather
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1cc0f9316913e49175210567993edaf5
https://doi.org/10.1007/s11050-015-9112-1
https://doi.org/10.1007/s11050-015-9112-1
Autor:
Igor Potapov, Alexei Lisitsa
Publikováno v:
Fundamenta Informaticae. 91:395-409
Querying its own history is an important mechanism in the computations, especially those interacting with people or other computations such as transaction processing, electronic data interchange. John McCarthy in his Elephant programming language pro
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::cd4514ae57b3aa14978540826754d17a
https://doi.org/10.3233/fi-2009-0049
https://doi.org/10.3233/fi-2009-0049
Autor:
Max J. Cresswell
Publikováno v:
Australasian Journal of Philosophy. 84:311-332
The aim of this paper is to consider some logical aspects of the debate between the view that the present is the only ‘real’ time, and the view that the present is not in any way metaphysically privileged. In particular I shall set out a language
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4777553b3b57f52dbfe1a109a3d436bf
https://doi.org/10.1080/00048400600895805
https://doi.org/10.1080/00048400600895805
Autor:
Warren D. Goldfarb
Publikováno v:
Journal of Philosophical Logic. 30:613-616
The system whose only predicate is identity, whose only nonlogical vocabulary is the abstraction operator, and whose axioms are all first-order instances of Frege's Axiom V is shown to be undecidable.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::68ca6b79cb7599ea79808bc215404484
https://doi.org/10.1023/a:1013362627445
https://doi.org/10.1023/a:1013362627445
Kniha
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783642548611
Predator is a shape analyzer that uses the abstract domain of symbolic memory graphs in order to support various forms of low-level memory manipulation commonly used in optimized C code. This paper briefly describes the verification approach taken by
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::86ef812e7fc24d939a416f5ab0012650
https://doi.org/10.1007/978-3-642-54862-8_33
https://doi.org/10.1007/978-3-642-54862-8_33
Autor:
Lorenza Saitta, Jean-Daniel Zucker
Publikováno v:
Abstraction in Artificial Intelligence and Complex Systems ISBN: 9781461470519
This chapter details a fundamental set of abstraction operators, providing a classification thereof, depending on their effects and modus operandi. The classification is based on general properties rather than specific characteristics of the domain o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::af9308918fb740367138ba6c3cf1f068
https://doi.org/10.1007/978-1-4614-7052-6_7
https://doi.org/10.1007/978-1-4614-7052-6_7
Autor:
Adam G. Dunn
Publikováno v:
Understanding Complex Systems ISBN: 9783642122026
Simulating Complex Systems by Cellular Automata
Simulating Complex Systems by Cellular Automata
Many real-world spatial systems involve interacting processes that operate over more than scale. Whilst there has been a strong growth in knowledge about multiscale systems in many disciplines, the advent of coupled, multiresolution, multiscale and h
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::912244583b2347b97f8fb45add026958
https://doi.org/10.1007/978-3-642-12203-3_4
https://doi.org/10.1007/978-3-642-12203-3_4