Paul Tarau

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q6142036	2024-01-23	Paper
Abductive Reasoning in Intuitionistic Propositional Logic via Theorem Synthesis	2022-09-30	Paper
Synthesis of modality definitions and a theorem prover for epistemic intuitionistic logic	2022-03-23	Paper
https://portal.mardi4nfdi.de/entity/Q5020970	2022-01-11	Paper
https://portal.mardi4nfdi.de/entity/Q5020559	2022-01-06	Paper
Deriving Efficient Sequential and Parallel Generators for Closed Simply-Typed Lambda Terms and Normal Forms	2021-05-20	Paper
Arithmetic and Boolean Operations on Recursively Run-Length Compressed Natural Numbers	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	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	2015-11-20	Paper
The Arithmetic of Recursively Run-Length Compressed Natural Numbers	2015-01-13	Paper
Binary trees as a computational framework	2014-10-10	Paper
Towards a generic view of primality through multiset decompositions of natural numbers	2014-06-10	Paper
Computing with Catalan Families	2014-03-31	Paper
Compact serialization of Prolog terms (with catalan skeletons, cantor tupling and Gödel numberings)	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	2012-06-25	Paper
Emulating primality with multiset representations of natural numbers	2012-01-06	Paper
On Arithmetic Computations with Hereditarily Finite Sets, Functions and Types	2010-08-31	Paper
A Unified Formal Description of Arithmetic and Set Theoretical Data Types	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	2009-07-09	Paper
A Logic Programming Framework for Combinational Circuit Synthesis	2009-03-05	Paper
https://portal.mardi4nfdi.de/entity/Q4415116	2003-07-28	Paper
https://portal.mardi4nfdi.de/entity/Q2767141	2002-04-28	Paper
https://portal.mardi4nfdi.de/entity/Q2771909	2002-02-18	Paper
https://portal.mardi4nfdi.de/entity/Q4499256	2001-03-06	Paper
LogiMOO: An extensible multi-user virtual world with natural language control	2000-05-28	Paper
https://portal.mardi4nfdi.de/entity/Q4237023	1999-03-28	Paper
On Delphi lemmas and other memoing techniques for deterministic logic programs	1998-03-17	Paper
Partial translation: towards a portable and efficient prolog implementation technology	1997-07-28	Paper

Research outcomes over time

This page was built for person: Paul Tarau