| Publication | Date of Publication | Type |
|---|
A gaze into the internal logic of graph neural networks, with logic
| 2024-01-23 | Paper |
Abductive Reasoning in Intuitionistic Propositional Logic via Theorem Synthesis
Theory and Practice of Logic Programming | 2022-09-30 | Paper |
Synthesis of modality definitions and a theorem prover for epistemic intuitionistic logic
| 2022-03-23 | Paper |
scientific article; zbMATH DE number 7455712 (Why is no real title available?)
| 2022-01-11 | Paper |
scientific article; zbMATH DE number 7453116 (Why is no real title available?)
| 2022-01-06 | Paper |
Deriving efficient sequential and parallel generators for closed simply-typed lambda terms and normal forms
Fundamenta Informaticae | 2021-05-20 | Paper |
Arithmetic and Boolean operations on recursively run-length compressed natural numbers
Scientific Annals of Computer Science | 2019-02-08 | Paper |
On uniquely closable and uniquely typable skeletons of lambda terms
| 2018-09-06 | Paper |
Random generation of closed simply typed λ-terms: A synergy between logic programming and Boltzmann samplers
Theory and Practice of Logic Programming | 2018-02-20 | Paper |
A hiking trip through the orders of magnitude: deriving efficient generators for closed simply-typed lambda terms and normal forms
| 2017-10-13 | Paper |
Ranking/unranking of lambda terms with compressed de Bruijn indices
Lecture Notes in Computer Science | 2015-11-20 | Paper |
The arithmetic of recursively run-length compressed natural numbers
Theoretical Aspects of Computing – ICTAC 2014 | 2015-01-13 | Paper |
Binary trees as a computational framework
Computer Languages, Systems \& Structures | 2014-10-10 | Paper |
Towards a generic view of primality through multiset decompositions of natural numbers
Theoretical Computer Science | 2014-06-10 | Paper |
Computing with Catalan families
Language and Automata Theory and Applications | 2014-03-31 | Paper |
Compact serialization of Prolog terms (with Catalan skeletons, Cantor tupling and Gödel numberings)
Theory and Practice of Logic Programming | 2014-02-27 | Paper |
Deriving a fast inverse of the generalized Cantor \(n\)-tupling bijection
| 2014-02-25 | Paper |
The BinProlog experience: architecture and implementation choices for continuation passing Prolog and first-class logic engines
Theory and Practice of Logic Programming | 2012-06-25 | Paper |
Emulating primality with multiset representations of natural numbers
Theoretical Aspects of Computing – ICTAC 2011 | 2012-01-06 | Paper |
On Arithmetic Computations with Hereditarily Finite Sets, Functions and Types
Lecture Notes in Computer Science | 2010-08-31 | Paper |
A Unified Formal Description of Arithmetic and Set Theoretical Data Types
Lecture Notes in Computer Science | 2010-08-24 | Paper |
``Everything is everything revisited: shapeshifting data types with isomorphisms and hylomorphisms
| 2010-08-18 | Paper |
A Groupoid of Isomorphic Data Transformations
Lecture Notes in Computer Science | 2009-07-09 | Paper |
A Logic Programming Framework for Combinational Circuit Synthesis
Logic Programming | 2009-03-05 | Paper |
scientific article; zbMATH DE number 1954118 (Why is no real title available?)
| 2003-07-28 | Paper |
scientific article; zbMATH DE number 1696865 (Why is no real title available?)
| 2002-04-28 | Paper |
scientific article; zbMATH DE number 1706412 (Why is no real title available?)
| 2002-02-18 | Paper |
scientific article; zbMATH DE number 1497833 (Why is no real title available?)
| 2001-03-06 | Paper |
LogiMOO: An extensible multi-user virtual world with natural language control
The Journal of Logic Programming | 2000-05-28 | Paper |
scientific article; zbMATH DE number 1270447 (Why is no real title available?)
| 1999-03-28 | Paper |
On Delphi lemmas and other memoing techniques for deterministic logic programs
The Journal of Logic Programming | 1998-03-17 | Paper |
Partial translation: towards a portable and efficient prolog implementation technology
The Journal of Logic Programming | 1997-07-28 | Paper |
