Lars Hallnäs

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◁ ▶ joint publications with coauthor community group 1

> Home > Persons > Lars Hallnäs

Publications

1994
[c5]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/iclp/HallnasK94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/HallnasK94
Lars Hallnäs, Per Kreuger:
Partial Inductive Definitions (Tutorial). ICLP Workshop: Proof-Theoretical Extensions on Logic Programming 1994
1992
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/elp/1991
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/elp/1991
Lars-Henrik Eriksson, Lars Hallnäs, Peter Schroeder-Heister:
Extensions of Logic Programming, Second International Workshop, ELP'91, Stockholm, Sweden, January 27-29, 1991, Proceedings. Lecture Notes in Computer Science 596, Springer 1992, ISBN 3-540-55498-X [contents]
1991
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/HallnasS91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/HallnasS91
Lars Hallnäs, Peter Schroeder-Heister:
A Proof-Theoretic Approach to Logic Programming. II. Programs as Definitions. J. Log. Comput. 1(5): 635-660 (1991)
1990
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/HallnasS90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/HallnasS90
Lars Hallnäs, Peter Schroeder-Heister:
A Proof-Theoretic Approach to Logic Programming. I. Clauses as Rules. J. Log. Comput. 1(2): 261-283 (1990)
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/ngc/AronssonEGHO90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ngc/AronssonEGHO90
Martin Aronsson, Lars-Henrik Eriksson, Anette Gäredal, Lars Hallnäs, Peter Olin:
The programming language GCLA - A definitional approach to logic programming. New Gener. Comput. 7(4): 381-404 (1990)
1989
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/elp/AronssonEHK89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/elp/AronssonEHK89
Martin Aronsson, Lars-Henrik Eriksson, Lars Hallnäs, Per Kreuger:
A Survey of GCLA: A Definitional Approach to Logic Programming. ELP 1989: 49-99
[c2]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/scai/AronssonEGHO89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scai/AronssonEGHO89
Martin Aronsson, Lars-Henrik Eriksson, Anette Gäredal, Lars Hallnäs, Peter Olin:
GCLA: Generalized Horn Clauses as a Programming Language. SCAI 1989: 873-887

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.