Full Text Available
Access Full Text at Repository
Search Results - Computer Engineering
-
Honesty by Typing
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
Online Article RSS Article -
On the locality of arb-invariant first-order formulas with modulo counting quantifiers
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
-
On linear rewriting systems for Boolean logic and some applications to proof theory
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
-
Coalgebraic trace semantics via forgetful logics
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
-
On the Mints Hierarchy in First-Order Intuitionistic Logic
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
-
Build your own clarithmetic I: Setup and completeness
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
-
Discovering, quantifying, and displaying attacks
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
-
Borel-piecewise continuous reducibility for uniformization problems
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
-
Some theorems on passing from local to global presence of properties of functions
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
-
Model Checking Spatial Logics for Closure Spaces
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
-
Extending Unification in $mathcal{EL}$ to Disunification: The Case of Dismatching and Local Disunification
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
-
On Natural Deduction for Herbrand Constructive Logics I: Curry-Howard Correspondence for Dummett's Logic LC
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
-
Build your own clarithmetic II: Soundness
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
-
Data optimizations for constraint automata
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
-
Z-stability in Constructive Analysis
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
-
Idempotents in intensional type theory
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
-
The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
-
Synthesis of Strategies Using the Hoare Logic of Angelic and Demonic Nondeterminism
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
-
Solving finite-domain linear constraints in presence of the $texttt{alldifferent}$
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
-
How Much Lookahead is Needed to Win Infinite Games?
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text