Search results
From MaRDI portal
- zbMath Open schneider.hubert-hMaRDI QIDQ1217097 This page was built for person: Hubert H. Schneider...10 bytes (15 words) - 10:53, 24 September 2023
- zbMath Open kamareddine.fairouz-dMaRDI QIDQ195251 This page was built for person: Fairouz Kamareddine...10 bytes (14 words) - 00:36, 25 September 2023
- mauricioDBLP56/538WikidataQ57444579 ScholiaQ57444579MaRDI QIDQ529653 This page was built for person: Mauricio Ayala-Rincón...10 bytes (17 words) - 09:13, 7 October 2023
- zbMath Open kikuchi.kentaroMaRDI QIDQ1409299 This page was built for person: Kentaro Kikuchi...10 bytes (13 words) - 13:50, 24 September 2023
- william-wDBLP19/2190WikidataQ8019843 ScholiaQ8019843MaRDI QIDQ2500812 This page was built for person: W. W. Tait...10 bytes (17 words) - 09:36, 13 December 2023
- zWikidataQ16730637 ScholiaQ16730637MaRDI QIDQ1429028 This page was built for person: Jonathan Katz...10 bytes (16 words) - 16:09, 11 December 2023
- zbMath Open NoneMaRDI QIDQ1060191 This page was built for person: B. George...10 bytes (12 words) - 23:50, 22 September 2023
- zbMath Open NoneMaRDI QIDQ1104176 This page was built for person: S. H. Smith...10 bytes (13 words) - 09:02, 24 September 2023
- predicate variables and functional variables Differential Hybrid Games Differential Game Logic Uniform substitution for differential game logic Playing...15 bytes (221 words) - 14:06, 2 February 2024
- swoop This page was built for publication: Substitutions for predicate variables and functional variables Report a bug (only for logged in users!)Click here...15 bytes (100 words) - 06:48, 31 January 2024
- of Recursively Enumerable Sets and Their Decision Problems Banishing the rule of substitution for functional variables The Complete Proof Theory of Hybrid...15 bytes (638 words) - 06:06, 1 February 2024
- of first-order modal and intuitionistic logics with two variables and one monadic predicate letter Complexity of finite-variable fragments of propositional...15 bytes (575 words) - 16:54, 5 February 2024
- Monk, and A. Tarski. On cylindric-relativized set algebras. By H. Andreka and I. Nemeti Algebraic Treatment of the Functional Calculi of Heyting and Lewis...15 bytes (1,596 words) - 05:39, 31 January 2024
- unification with letrec and environment-variables Incremental methods for optimizing partial instantiation Goal directed strategies for paramodulation Term...15 bytes (853 words) - 22:30, 5 February 2024
- Higher-Order Dynamic Pattern Unification for Dependent Types and Records Nominal syntax with atom substitutions Higher order disunification: Some decidable...15 bytes (785 words) - 04:20, 31 January 2024
- Lambda-Abstraction, Function Variables, and Simple Unification Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3985547)...15 bytes (783 words) - 00:08, 30 January 2024
- logic: Proof-theory and semantics for FM and nominal techniques A proof theory for generic judgments Completeness and Herbrand theorems for nominal logic The...15 bytes (680 words) - 10:00, 30 January 2024
- Intersection Types Refinement types for program analysis Intersection types for explicit substitutions Proof-functional connectives and realizability Reasoning About...15 bytes (700 words) - 03:31, 31 January 2024
- on explicit substitutions Middle-out reasoning for synthesis and induction This page was built for publication: A unification algorithm for typed \(\bar\lambda\)-calculus...15 bytes (526 words) - 07:19, 31 January 2024
- Expressive Predicate Assignment for Object-Oriented Programming Strong normalization and typability with intersection types System \(T\), call-by-value and the...15 bytes (854 words) - 03:36, 7 March 2024
