by
Altenkirch, Thorsten. editor.
Format:
Electronic Resources
Excerpt:
Inductive-Recursive Family -- Truth Values Algebras and Proof Normalization -- Curry-Style Types for Nominal Terms
by
Mossakowski, Till. editor.
Format:
Electronic Resources
Excerpt:
Spaces -- An Institutional Version of Gödel’s Completeness Theorem -- Coalgebraic Foundations of Linear
View Other Search Results
by
Artemov, Sergei N. editor.
Format:
Electronic Resources
Excerpt:
-- Finite Automata Presentable Abelian Groups -- Embeddings into Free Heyting Algebras and Translations into
by
Han, Yo-Sub. editor.
Format:
Electronic Resources
Excerpt:
Bounded Semilinear Languages, Counter Machines, and Finite-Index ET0L -- Kuratowski Algebras Generated by
by
Ong, Luke. editor.
Format:
Electronic Resources
Excerpt:
-- Permutative Logic -- Focusing the Inverse Method for Linear Logic -- Towards a Typed Geometry of Interaction
by
Durand, Bruno. editor.
Format:
Electronic Resources
Excerpt:
Algorithms for Matching and Network Flows -- The Number of Runs in a String: Improved Analysis of the Linear
by
Královič, Rastislav. editor.
Format:
Electronic Resources
Excerpt:
Characterizations of Unitary Linear Quantum Cellular Automata -- A Polynomial Time Nilpotence Test for Galois Groups
by
Jȩdrzejowicz, Joanna. editor.
Format:
Electronic Resources
Excerpt:
?,?-Systems of Linear, Transversal and Polymatroid Inequalities -- On the Parameterized Complexity of Exact
Limit Search Results
Narrowed by: