default search action

combined dblp search
author search
venue search
publication search

ask others

8. CAAP 1983: L'Aquila, Italy

> Home > Conferences and Workshops > CAAP

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/caap/1983
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/caap/1983
Giorgio Ausiello, Marco Protasi:
CAAP'83, Trees in Algebra and Programming, 8th Colloquium, L'Aquila, Italy, March 9-11, 1983, Proceedings. Lecture Notes in Computer Science 159, Springer 1983, ISBN 3-540-12727-5

Invited Lectures

- view
  authority control:
- export record
  dblp key:
  - conf/caap/BroyW83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/caap/BroyW83
Manfred Broy, Martin Wirsing:
Generalized Heterogeneous Algebras and Partial Interpretations. 1-34
- view
  authority control:
- export record
  dblp key:
  - conf/caap/CoppoDL83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/caap/CoppoDL83
Mario Coppo, Mariangiola Dezani-Ciancaglini, Giuseppe Longo:
Applicative Information Systems. 35-64
- view
  authority control:
- export record
  dblp key:
  - conf/caap/Fagin83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/caap/Fagin83
Ronald Fagin:
Acyclic Database Schemes (of Various Degrees): A Painless Introduction. 65-89
- view
  authority control:
- export record
  dblp key:
  - conf/caap/Galil83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/caap/Galil83
Zvi Galil:
Efficient Algorithms for Finding Maximal Matching in Graphs. 90-113
- view
  authority control:
- export record
  dblp key:
  - conf/caap/JanssensR83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/caap/JanssensR83
Dirk Janssens, Grzegorz Rozenberg:
A Survey of NLC Grammars. 114-128

Contributed Papers

- view
  authority control:
- export record
  dblp key:
  - conf/caap/Beauquier83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/caap/Beauquier83
Joffroy Beauquier:
Prefix and Perfect Languages. 129-140
- view
  authority control:
- export record
  dblp key:
  - conf/caap/BestS83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/caap/BestS83
Eike Best, M. W. Shields:
Some Equivalence Results for Free Choice Nets and Simple Nets and on the Periodicity of Live Free Choice Nets. 141-154
- view
  authority control:
- export record
  dblp key:
  - conf/caap/BonuccelliLLMP83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/caap/BonuccelliLLMP83
Maurizio A. Bonuccelli, Elena Lodi, Fabrizio Luccio, Piero Maestrini, Linda Pagli:
VLSI Mesh of Trees for Data Base Processing. 155-166
- view
  authority control:
- export record
  dblp key:
  - conf/caap/ClaereboutL83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/caap/ClaereboutL83
M. F. Claerebout, Eric Lilin:
Continuite des transducteurs d'états finis d'arbes. 167-178
- view
  authority control:
- export record
  dblp key:
  - conf/caap/CoppoG83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/caap/CoppoG83
Mario Coppo, Elio Giovannetti:
Completeness Results for a Polymorphic Type System. 179-190
- view
  authority control:
- export record
  dblp key:
  - conf/caap/CourcelleL83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/caap/CourcelleL83
Bruno Courcelle, F. Lavandier:
A Class of Program Schemes Based on Tree Rewriting Systems. 191-204
- view
  authority control:
- export record
  dblp key:
  - conf/caap/FagesH83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/caap/FagesH83
François Fages, Gérard P. Huet:
Complete Sets of Unifiers and Matchers in Equational Theories. 205-220
- view
  authority control:
- export record
  dblp key:
  - conf/caap/FlajoletS83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/caap/FlajoletS83
Philippe Flajolet, Nasser Saheb:
Digital Search Trees and the Generation of an Exponentially Distributed Variate. 221-235
- view
  authority control:
- export record
  dblp key:
  - conf/caap/Gonczaroski83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/caap/Gonczaroski83
Jacob Gonczaroski:
Decidable Properties of Monadic Recursive Schemas with a Depth Parameter. 236-254
- view
  authority control:
- export record
  dblp key:
  - conf/caap/IstrailM83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/caap/IstrailM83
Sorin Istrail, Cristian Masalagiu:
Nivat-Processing Systems: Decision Problems Related to Protection and Synchronization. 255-268
- view
  authority control:
- export record
  dblp key:
  - conf/caap/Jouannaud83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/caap/Jouannaud83
Jean-Pierre Jouannaud:
Confluent and Coherent Equational Term Rewriting Systems: Application to Proofs in Abstract Data Types. 269-283
- view
  authority control:
- export record
  dblp key:
  - conf/caap/Lingas83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/caap/Lingas83
Andrzej Lingas:
An Application of Maximum Bipartite C-Matching to Subtree Isomorphism. 284-299
- view
  authority control:
- export record
  dblp key:
  - conf/caap/MahrM83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/caap/MahrM83
Bernd Mahr, Johann A. Makowsky:
Characterizing Specification Languages Which Admit Initial Semantics. 300-316
- view
  authority control:
- export record
  dblp key:
  - conf/caap/MakedonPS83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/caap/MakedonPS83
Fillia Makedon, Christos H. Papadimitriou, Ivan Hal Sudborough:
Topological Bandwidth. 317-331
- view
  authority control:
- export record
  dblp key:
  - conf/caap/Marchetti-SpaccametaT83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/caap/Marchetti-SpaccametaT83
Alberto Marchetti-Spaccamela, Maurizio Talamo:
Probabilistic Analysis of Graph Colouring Algorithms. 332-340
- view
  authority control:
- export record
  dblp key:
  - conf/caap/MonienS83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/caap/MonienS83
Burkhard Monien, Ewald Speckenmeyer:
Some Further Approximation Algorithms for the Vertex Cover Problem. 341-349
- view
  authority control:
- export record
  dblp key:
  - conf/caap/ParedaensG83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/caap/ParedaensG83
Jan Paredaens, Dirk Van Gucht:
An Application of the Theory of Graphs and Hypergraphs to the Decomposition of Relational Database Schemes. 350-366
- view
  authority control:
- export record
  dblp key:
  - conf/caap/Rytter83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/caap/Rytter83
Wojciech Rytter:
Remarks on the Pyramidal Structure. 367-376
- view
  authority control:
- export record
  dblp key:
  - conf/caap/SannellaB83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/caap/SannellaB83
Donald Sannella, Rod M. Burstall:
Structured Theories in LCF. 377-391
- view
  authority control:
- export record
  dblp key:
  - conf/caap/Slutzki83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/caap/Slutzki83
Giora Slutzki:
Alternating Tree Automata. 392-404
- view
  authority control:
- export record
  dblp key:
  - conf/caap/Zilli83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/caap/Zilli83
Marisa Venturini Zilli:
Cofinality in Reduction Graphs. 405-416

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.