Lars Hallnäs

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
On the structure of proofs	2024-10-01	Paper
A survey of GCLA: a definitional approach to logic programming Extensions of Logic Programming	2022-11-26	Paper
On the Proof-Theoretic Foundations of Set Theory Advances in Proof-Theoretic Semantics	2022-06-03	Paper
On the proof-theoretic foundation of general definition theory Synthese	2006-08-18	Paper
On systems of definitions, induction and recursion BIT	1994-05-05	Paper
scientific article; zbMATH DE number 65538 (Why is no real title available?)	1992-09-27	Paper
A Proof-Theoretic Approach to Logic Programming Journal Of Logic And Computation	1992-06-27	Paper
Partial inductive definitions Theoretical Computer Science	1992-06-26	Paper
A Proof-Theoretic Approach to Logic Programming. I. Clauses as Rules Journal Of Logic And Computation	1990-01-01	Paper
scientific article; zbMATH DE number 4212037 (Why is no real title available?)	1990-01-01	Paper
scientific article; zbMATH DE number 4091495 (Why is no real title available?)	1988-01-01	Paper
An intensional characterization of the largest bisimulation Theoretical Computer Science	1987-01-01	Paper

Research outcomes over time

This page was built for person: Lars Hallnäs