Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Foundations of Logic and Functional Programming 1986: Trento, Italy

> Home > Conferences and Workshops > Foundations of Logic and Functional Programming

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/flfp/1986
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/flfp/1986
Mauro Boscarol, Luigia Carlucci Aiello, Giorgio Levi:
Foundations of Logic and Functional Programming, Workshop, Trento, Italy, December 15-19, 1986, Proceedings. Lecture Notes in Computer Science 306, Springer 1988, ISBN 3-540-19129-1

Part I: Invited Contributions

- view
  authority control:
- export record
  dblp key:
  - conf/flfp/Talcott86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/flfp/Talcott86
Carolyn L. Talcott:
Rum. An Intensional Theory of Function and Control Abstractions. 3-44
- view
  authority control:
- export record
  dblp key:
  - conf/flfp/Cardelli86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/flfp/Cardelli86
Luca Cardelli:
Typechecking Dependent Types and Subtypes. 45-57
- view
  authority control:
- export record
  dblp key:
  - conf/flfp/Bohm86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/flfp/Bohm86
Corrado Böhm:
Reducing Recursion to Iteration by Means of Pairs and N-tuples. 58-66
- view
  authority control:
- export record
  dblp key:
  - conf/flfp/LassezMM86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/flfp/LassezMM86
Jean-Louis Lassez, Michael J. Maher, Kim Marriott:
Unification Revisited. 67-113
- view
  authority control:
- export record
  dblp key:
  - conf/flfp/ZanioloS86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/flfp/ZanioloS86
Carlo Zaniolo, Domenico Saccà:
Rule Rewriting Methods for Efficient Implementations of Horn Logic. 114-139

Part II: Submitted Contributions

- view
  authority control:
- export record
  dblp key:
  - conf/flfp/MiglioliMO86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/flfp/MiglioliMO86
Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi:
PAP: A Logic Programming System Based on a Constructive Logic. 143-156
- view
  authority control:
- export record
  dblp key:
  - conf/flfp/GiovannettiM86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/flfp/GiovannettiM86
Elio Giovannetti, Corrado Moiso:
A Completeness Result for E-unification Algorithms Based on Conditional Narrowing. 157-167
- view
  authority control:
- export record
  dblp key:
  - conf/flfp/Guarino86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/flfp/Guarino86
Nicola Guarino:
Representing Domain Structure of Many-Sorted Prolog Knowledge Bases. 168-183
- view
  authority control:
- export record
  dblp key:
  - conf/flfp/DAngelo86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/flfp/DAngelo86
Antonio D'Angelo:
Horn: an Inference Engine Prototype to Implement Intelligent Systems. 184-200
- view
  authority control:
- export record
  dblp key:
  - conf/flfp/Omodeo86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/flfp/Omodeo86
Eugenio G. Omodeo:
Hints for the Design of a Set Calculus Oriented to Automated Deduction. 201-218

a service of

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.