default search action

combined dblp search
author search
venue search
publication search

ask others

2.ELP 1991: Stockholm, Sweden

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

> Home > Conferences and Workshops > ELP

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- 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
- view
  authority control:
- export record
  dblp key:
  - conf/elp/Aronsson91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/elp/Aronsson91
Martin Aronsson:
Methodology and Programming Techniques in GCLA II. 1-44
- view
  authority control:
- export record
  dblp key:
  - conf/elp/Boley91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/elp/Boley91
Harold Boley:
Extended Logic-plus-Functional Programming. 45-72
- view
  authority control:
- export record
  dblp key:
  - conf/elp/BrogiLM91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/elp/BrogiLM91
Antonio Brogi, Evelina Lamma, Paola Mello:
Open Logic Theories. 73-88
- view
  authority control:
- export record
  dblp key:
  - conf/elp/Eriksson91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/elp/Eriksson91
Lars-Henrik Eriksson:
A Finitary Version of the Calculus of Partial Inductive Defintions. 89-134
- view
  authority control:
- export record
  dblp key:
  - conf/elp/Felty91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/elp/Felty91
Amy P. Felty:
A Logic Programming Approach to Implementing Higher-Order Term Rewriting. 135-161
- view
  authority control:
- export record
  dblp key:
  - conf/elp/FranzenHJ91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/elp/FranzenHJ91
Torkel Franzén, Seif Haridi, Sverker Janson:
An Overview of the Andorra Kernel Language. 163-179
- view
  authority control:
- export record
  dblp key:
  - conf/elp/Hallnas91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/elp/Hallnas91
Lars Hallnäs:
Logical and Computational Invariants of Programs. 181-191
- view
  authority control:
- export record
  dblp key:
  - conf/elp/Hannan91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/elp/Hannan91
John Hannan:
Implementing lambda-Calculus Reduction Strategies in Extended Logic Programming Languages. 193-219
- view
  authority control:
- export record
  dblp key:
  - conf/elp/Hanschke91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/elp/Hanschke91
Philipp Hanschke:
Terminological Reasoning and Partial Inductive Definitions. 221-237
- view
  authority control:
- export record
  dblp key:
  - conf/elp/Kreuger91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/elp/Kreuger91
Per Kreuger:
GCLA II - A Definitional Approach to Control. 239-297
- view
  authority control:
- export record
  dblp key:
  - conf/elp/MichaylovP91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/elp/MichaylovP91
Spiro Michaylov, Frank Pfenning:
Natural Semantics and Some of Its Meta-Theory in Elf. 299-344
- view
  authority control:
- export record
  dblp key:
  - conf/elp/ReedLS91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/elp/ReedLS91
David W. Reed, Donald W. Loveland, Bruce T. Smith:
The Near-Horn Approach to Disjunctive Logic Programming. 345-369

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.