Výsledky vyhledávání - Theory of computation Models of computation Computability

Graphical Language with Delayed Trace: Picturing Quantum Computing with Finite Memory Autor Carette, Titouan, de Visme, Marc, Perdrix, Simon

“…) quantum computations acting on a finite number of qubits. Meanwhile, delayed traces have been used as a graphical way to represent finite-memory computations on streams, in a classical setting…”
Získat plný text

From Finite-Valued Nondeterministic Transducers to Deterministic Two-Tape Automata Autor Burjons, Elisabet, Frei, Fabian, Raszyk, Martin

“…The question whether P equals NP revolves around the discrepancy between active production and mere verification by Turing machines. In this paper, we examine…”
Získat plný text

Feedback Turing Computability, and Turing Computability as Feedback Autor Ackerman, Nathanael L., Freer, Cameron E., Lubarsky, Robert S.

“…The notion of a feedback query is a natural generalization of choosing for an oracle the set of indices of halting computations…”
Získat plný text

A Unifying Approach to the Gamma Question Autor Monin, Benoit, Nies, Andre

“…" (2013, available at http://www.math.wisc.edu/~lempp/papers/traceable.pdf). It is related to the recent notion of coarse computability which stems from complexity theory…”
Získat plný text

Quantitative Algebraic Reasoning Autor Mardare, Radu, Panangaden, Prakash, Plotkin, Gordon

“… ". We have 4 interesting examples where we have a quantitative equational theory whose free algebras correspond to well known structures…”
Získat plný text

Comonadic semantics for guarded fragments Autor Abramsky, Samson, Marsden, Dan

“…In previous work ([1], [2], [3]), it has been shown how a range of model comparison games which play a central role in finite model theory, including Ehrenfeucht-Fraïssé…”
Získat plný text

Normalization for Cubical Type Theory Autor Sterling, Jonathan, Angiuli, Carlo

“…We prove normalization for (univalent, Cartesian) cubical type theory, closing the last major open problem in the syntactic metatheory of cubical type theory…”
Získat plný text

Axiomatizations and Computability of Weighted Monadic Second-Order Logic Autor Achilleos, Antonis, Pedersen, Mathias Ruggaard

“…Weighted monadic second-order logic is a weighted extension of monadic second-order logic that captures exactly the behaviour of weighted automata. Its…”
Získat plný text

Finite Model Theory of the Triguarded Fragment and Related Logics Autor Kieronski, Emanuel, Rudolph, Sebastian

“… We show that the TGF has the finite model property (providing a tight doubly exponential bound on the model size…”
Získat plný text

Some constructive variants of S4 with the finite model property Autor Balbiani, Philippe, Dieguez, Martin, Fernandez-Duque, David

“…The logics CS4 and IS4 are intuitionistic variants of the modal logic S4. Whether the finite model property holds for each of these logics has been a long-standing open problem…”
Získat plný text

Living without Beth and Craig: Definitions and Interpolants in the Guarded and Two-Variable Fragments Autor Jung, Jean Christoph, Wolter, Frank

“…In logics with the Craig interpolation property (CIP) the existence of an interpolant for an implication follows from the validity of the implication. In…”
Získat plný text

In search of lost time: Axiomatising parallel composition in process algebras Autor Aceto, Luca, Anastasiadi, Elli, Castiglioni, Valentina, Ingolfsdottir, Anna, Luttik, Bas

“…This survey reviews some of the most recent achievements in the saga of the axiomatisation of parallel composition, along with some classic results. We focus…”
Získat plný text

Strong Call-by-Value is Reasonable, Implosively Autor Accattoli, Beniamino, Condoluci, Andrea, Coen, Claudio Sacerdoti

“…Whether the number of β -steps in the λ-calculus can be taken as a reasonable time cost model…”
Získat plný text

Internal ∞-Categorical Models of Dependent Type Theory : Towards 2LTT Eating HoTT Autor Kraus, Nicolai

“…Using dependent type theory to formalise the syntax of dependent type theory is a very active topic of study and goes under the name of "type theory eating itself" or "type theory in type theory…”
Získat plný text

Evidenced Frames: A Unifying Framework Broadening Realizability Models Autor Cohen, Liron, Miquey, Etienne, Tate, Ross

“…Constructive foundations have for decades been built upon realizability models for higher-order logic and type theory…”
Získat plný text

A Quantum Interpretation of Bunched Logic & Quantum Separation Logic Autor Zhou, Li, Barthe, Gilles, Hsu, Justin, Ying, Mingsheng, Yu, Nengkun

“…We propose a model of the substructural logic of Bunched Implications (BI) that is suitable for reasoning about quantum states…”
Získat plný text

Categorical models of Linear Logic with fixed points of formulas Autor Ehrhard, Thomas, Jafarrahmani, Farzad

“…) and relations preserving it, least and greatest fixed points have distinct interpretations. This latter model shows…”
Získat plný text

A distributed operational view of Reversible Prime Event Structures Autor Melgratti, Hernan, Mezzina, Claudio Antares, Michele Pinna, G.

“…Reversible prime event structures extend the well-known model of prime event structures to represent reversible computational processes…”
Získat plný text

On Logics and Homomorphism Closure Autor Bodirsky, Manuel, Feller, Thomas, Knauer, Simon, Rudolph, Sebastian

“…) of the class of all (finite or arbitrary) models of logical sentences: membership of structures in a sentence's homclosure…”
Získat plný text

History of Logo Autor Solomon, Cynthia, Harvey, Brian, Kahn, Ken, Lieberman, Henry, Miller, Mark L., Minsky, Margaret, Papert, Artemis, Silverman, Brian

“… Early Lisp served as a model with its symbolic computation, recursive functions, operations on linked lists, and dynamic scoping of variables…”
Získat plný text