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
https://portal.mardi4nfdi.de/entity/Q3584061	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Paul Tarau