Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
28 | Peter F. Patel-Schneider |
DLP System Description. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 1998 International Workshop on Description Logics (DL'98), IRST, Povo - Trento, Italy, June 6-8, 1998, 1998, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
28 | Ian Horrocks 0001, Ulrike Sattler |
A Description Logic with Transitive and Inverse Roles and Role Hierarchies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 1998 International Workshop on Description Logics (DL'98), IRST, Povo - Trento, Italy, June 6-8, 1998, 1998, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
28 | Uwe Küssner |
Description Logic Unplugged. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 1998 International Workshop on Description Logics (DL'98), IRST, Povo - Trento, Italy, June 6-8, 1998, 1998, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
28 | Liviu Badea |
Planning in Description Logics: Deduction versus Satisfiability Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 1998 International Workshop on Description Logics (DL'98), IRST, Povo - Trento, Italy, June 6-8, 1998, 1998, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
28 | Quentin Elhaik, Marie-Christine Rousset, Bernard Ycart |
Generating Random Benchmarks for Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 1998 International Workshop on Description Logics (DL'98), IRST, Povo - Trento, Italy, June 6-8, 1998, 1998, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
28 | Jordi Alvarez |
A Description Logic System for Learning in Complex Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 1998 International Workshop on Description Logics (DL'98), IRST, Povo - Trento, Italy, June 6-8, 1998, 1998, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
28 | Maarten de Rijke |
Description Logics and Modal Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 1998 International Workshop on Description Logics (DL'98), IRST, Povo - Trento, Italy, June 6-8, 1998, 1998, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
28 | Jean Carrive, François Pachet, Rémi Ronfard |
Using Description Logics for Indexing Audiovisual Documents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 1998 International Workshop on Description Logics (DL'98), IRST, Povo - Trento, Italy, June 6-8, 1998, 1998, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
28 | Erich Grädel |
Description Logics and Guarded Fragments of First Order Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 1998 International Workshop on Description Logics (DL'98), IRST, Povo - Trento, Italy, June 6-8, 1998, 1998, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
28 | Lin Padgham |
Incorporating Default Characteristics and Approximate Matching in Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 1998 International Workshop on Description Logics (DL'98), IRST, Povo - Trento, Italy, June 6-8, 1998, 1998, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
28 | Franz Baader, Alexander Borgida, Deborah L. McGuinness |
Matching in Description Logics: Preliminary Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 1998 International Workshop on Description Logics (DL'98), IRST, Povo - Trento, Italy, June 6-8, 1998, 1998, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
28 | Christopher A. Welty |
DLs for DLs: Description Logics for Digital Libraries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 1998 International Workshop on Description Logics (DL'98), IRST, Povo - Trento, Italy, June 6-8, 1998, 1998, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
28 | Franz Baader, Paliath Narendran |
Unification of Concept Terms in Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 1997 International Workshop on Description Logics, Université Paris-Sud, Centre d'Orsay, Laboratoire de Recherche en Informatique LRI, France, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
28 | Ernesto Compatangelo, Francesco M. Donini, Giovanni Rumolo |
A Description Logic for reasoning with behavioural knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 1997 International Workshop on Description Logics, Université Paris-Sud, Centre d'Orsay, Laboratoire de Recherche en Informatique LRI, France, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
28 | Carsten Lutz, Ralf Möller 0001 |
Defined Topological Relations in Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 1997 International Workshop on Description Logics, Université Paris-Sud, Centre d'Orsay, Laboratoire de Recherche en Informatique LRI, France, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
28 | Sylvie Salotti, Véronique Ventos |
Study and Formalization of a Case-Based Reasoning System with a Description Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 1997 International Workshop on Description Logics, Université Paris-Sud, Centre d'Orsay, Laboratoire de Recherche en Informatique LRI, France, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
28 | Franz Baader, Ulrike Sattler |
Description Logics with Aggregates and Concrete Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 1997 International Workshop on Description Logics, Université Paris-Sud, Centre d'Orsay, Laboratoire de Recherche en Informatique LRI, France, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
28 | Thorsten Liebig, Dietmar F. Rösner |
Action Hierarchies in Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 1997 International Workshop on Description Logics, Université Paris-Sud, Centre d'Orsay, Laboratoire de Recherche en Informatique LRI, France, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
28 | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini |
Conjunctive Query Containment in Description Logics with n-ary Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 1997 International Workshop on Description Logics, Université Paris-Sud, Centre d'Orsay, Laboratoire de Recherche en Informatique LRI, France, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
28 | Angela Bonifati, Luigi Palopoli 0001, Domenico Saccà, Domenico Ursino |
Discovering description logic assertions from database schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 1997 International Workshop on Description Logics, Université Paris-Sud, Centre d'Orsay, Laboratoire de Recherche en Informatique LRI, France, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
28 | Patrick Lambrix, Nahid Shahmehri, Niclas Wahllöf |
Dwebic: An Intelligent Search Engine based on Default Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 1997 International Workshop on Description Logics, Université Paris-Sud, Centre d'Orsay, Laboratoire de Recherche en Informatique LRI, France, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
28 | Ian Horrocks 0001, Graham Gough |
Description Logics with Transitive Roles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 1997 International Workshop on Description Logics, Université Paris-Sud, Centre d'Orsay, Laboratoire de Recherche en Informatique LRI, France, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
28 | Natasha Kurtonina, Maarten de Rijke |
Classifying Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 1997 International Workshop on Description Logics, Université Paris-Sud, Centre d'Orsay, Laboratoire de Recherche en Informatique LRI, France, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
28 | Giuseppe De Giacomo, Luca Iocchi, Daniele Nardi, Riccardo Rosati 0001 |
Description Logic-baqsed Framrwork for Planning with Sensing Actions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 1997 International Workshop on Description Logics, Université Paris-Sud, Centre d'Orsay, Laboratoire de Recherche en Informatique LRI, France, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
28 | Véronique Ventos |
A Deductive Study of the C-CLASSICde Description Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 1996 International Workshop on Description Logics, November 2-4, 1996, Cambridge, MA, USA, pp. 192-196, 1996, AAAI Press, 1-57735-014-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
28 | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini |
Representing SGML Documents in Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 1996 International Workshop on Description Logics, November 2-4, 1996, Cambridge, MA, USA, pp. 102-106, 1996, AAAI Press, 1-57735-014-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
28 | Jeroen Nijhuis |
The Use of Description Logics in the Condorcet Conceptual Information Retrieval System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 1996 International Workshop on Description Logics, November 2-4, 1996, Cambridge, MA, USA, pp. 180-181, 1996, AAAI Press, 1-57735-014-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
28 | Giuseppe De Giacomo, Maurizio Lenzerini |
TBox and ABox Reasoning in Expressive Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 1996 International Workshop on Description Logics, November 2-4, 1996, Cambridge, MA, USA, pp. 37-48, 1996, AAAI Press, 1-57735-014-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
28 | Riccardo Rosati 0001 |
On the Semantics of Epistemic Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 1996 International Workshop on Description Logics, November 2-4, 1996, Cambridge, MA, USA, pp. 185-188, 1996, AAAI Press, 1-57735-014-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
28 | Daniel J. Buehrer, Yi-Huang Liu, Ting-Yue Hong, Jeng-Jong Jou |
Class Algebra as a Description Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 1996 International Workshop on Description Logics, November 2-4, 1996, Cambridge, MA, USA, pp. 92-96, 1996, AAAI Press, 1-57735-014-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
28 | Franz Baader, Ulrike Sattler |
Number Restrictions on Complex Roles in Description Logics: A Preliminary Report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 1996 International Workshop on Description Logics, November 2-4, 1996, Cambridge, MA, USA, pp. 3-14, 1996, AAAI Press, 1-57735-014-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
28 | Ian Horrocks 0001, Alan L. Rector |
Using a Description Logic with Concept Inclusions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 1996 International Workshop on Description Logics, November 2-4, 1996, Cambridge, MA, USA, pp. 132-135, 1996, AAAI Press, 1-57735-014-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
28 | Volker Haarslev |
Using Description Logic for Reasoning about Diagrammatical Notations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 1996 International Workshop on Description Logics, November 2-4, 1996, Cambridge, MA, USA, pp. 124-128, 1996, AAAI Press, 1-57735-014-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
28 | Thorsten Liebig, Dietmar F. Rösner |
Description Logic as Core Machinery for the Automatic Generation of Multilingual Technical Documents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 1996 International Workshop on Description Logics, November 2-4, 1996, Cambridge, MA, USA, pp. 160-164, 1996, AAAI Press, 1-57735-014-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
28 | Daniel Kudenko, Haym Hirsh |
Representing Sequences in Description Logics Using Suffix Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 1996 International Workshop on Description Logics, November 2-4, 1996, Cambridge, MA, USA, pp. 141-145, 1996, AAAI Press, 1-57735-014-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
28 | Marco Cadoli, Luigi Palopoli 0001, Maurizio Lenzerini |
Datalog and Description Logics: Expressive Power - Preliminary Report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 1996 International Workshop on Description Logics, November 2-4, 1996, Cambridge, MA, USA, pp. 97-101, 1996, AAAI Press, 1-57735-014-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
28 | Gerd Kamp, Holger Wache |
Using Description Logics for Consistency-based Diagnosis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 1996 International Workshop on Description Logics, November 2-4, 1996, Cambridge, MA, USA, pp. 136-140, 1996, AAAI Press, 1-57735-014-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
28 | Makoto Haraguchi |
Towards a Legal Reasoning System based on Description Logics: A Position Paper. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 1996 International Workshop on Description Logics, November 2-4, 1996, Cambridge, MA, USA, pp. 129-131, 1996, AAAI Press, 1-57735-014-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
28 | Diego Calvanese |
Finite Model Reasoning in Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 1996 International Workshop on Description Logics, November 2-4, 1996, Cambridge, MA, USA, pp. 25-36, 1996, AAAI Press, 1-57735-014-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
28 | Patrick Lambrix, Lin Padgham |
A Description Logic for Composite Objects for Domain Modeling in an Agent-Oriented Application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 1996 International Workshop on Description Logics, November 2-4, 1996, Cambridge, MA, USA, pp. 146-149, 1996, AAAI Press, 1-57735-014-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
28 | Piet-Hein Speel |
Can Description Logics Be Used in Real-Life Knowledge-Based Systems? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 1996 International Workshop on Description Logics, November 2-4, 1996, Cambridge, MA, USA, pp. 189-191, 1996, AAAI Press, 1-57735-014-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
28 | Nicola Guarino |
Kinds of Relations: Some Methodological Principles for Using Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Issues in Description Logics: Users Meet Developers, Boston, MA, USA, October 1992, pp. 39-44, 1992, AAAI Press. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
28 | Deborah L. McGuinness |
Making Description Logic Based Knowledge Representation Systems More Usable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Issues in Description Logics: Users Meet Developers, Boston, MA, USA, October 1992, pp. 56-58, 1992, AAAI Press. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
28 | Mira Balaban |
F-Logic as a Basis for a General Description Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Issues in Description Logics: Users Meet Developers, Boston, MA, USA, October 1992, pp. 6-10, 1992, AAAI Press. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
28 | Andrea Schaerf |
On the Role of Subsumption Algorithms in Concept Description Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Issues in Description Logics: Users Meet Developers, Boston, MA, USA, October 1992, pp. 86-97, 1992, AAAI Press. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
28 | Robert A. Weida |
Issues in Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Issues in Description Logics: Users Meet Developers, Boston, MA, USA, October 1992, pp. 103-106, 1992, AAAI Press. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
28 | Peter F. Patel-Schneider |
Partial Reasoning in Knowledge Representation Systems Based on Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Issues in Description Logics: Users Meet Developers, Boston, MA, USA, October 1992, pp. 74-75, 1992, AAAI Press. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
28 | Robert M. MacGregor |
What's Needed to Make a Description Logic a Good KR Citizen? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Issues in Description Logics: Users Meet Developers, Boston, MA, USA, October 1992, pp. 53-55, 1992, AAAI Press. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
28 | Jos C. M. Baeten, Jan A. Bergstra, Jan Willem Klop |
Conditional axioms and α/β-calculus in process algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Description of Programming Concepts ![In: Formal Description of Programming Concepts - III: Proceedings of the IFIP TC 2/WG 2.2 Working Conference on Formal Description of Programming Concepts - III, Ebberup, Denmark, 25-28 August 1986, pp. 53-76, 1987, North-Holland, 0-444-70253-9. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
28 | Jean-Pierre Jouannaud, B. Waldmann |
Reductive conditional term rewriting systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Description of Programming Concepts ![In: Formal Description of Programming Concepts - III: Proceedings of the IFIP TC 2/WG 2.2 Working Conference on Formal Description of Programming Concepts - III, Ebberup, Denmark, 25-28 August 1986, pp. 223-244, 1987, North-Holland, 0-444-70253-9. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
28 | Peter D. Mosses, David A. Watt |
The use of action semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Description of Programming Concepts ![In: Formal Description of Programming Concepts - III: Proceedings of the IFIP TC 2/WG 2.2 Working Conference on Formal Description of Programming Concepts - III, Ebberup, Denmark, 25-28 August 1986, pp. 135-166, 1987, North-Holland, 0-444-70253-9. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
28 | Jan A. Bergstra, Jan Willem Klop, Ernst-Rüdiger Olderog |
Failures without chaos: a new process semantics for fair abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Description of Programming Concepts ![In: Formal Description of Programming Concepts - III: Proceedings of the IFIP TC 2/WG 2.2 Working Conference on Formal Description of Programming Concepts - III, Ebberup, Denmark, 25-28 August 1986, pp. 77-104, 1987, North-Holland, 0-444-70253-9. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
28 | Susumu Hayashi |
PX: a system extracting programs from proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Description of Programming Concepts ![In: Formal Description of Programming Concepts - III: Proceedings of the IFIP TC 2/WG 2.2 Working Conference on Formal Description of Programming Concepts - III, Ebberup, Denmark, 25-28 August 1986, pp. 399-424, 1987, North-Holland, 0-444-70253-9. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
28 | M. Chadili, Irène Guessarian |
Notions of fairness for synchronous fork join nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Description of Programming Concepts ![In: Formal Description of Programming Concepts - III: Proceedings of the IFIP TC 2/WG 2.2 Working Conference on Formal Description of Programming Concepts - III, Ebberup, Denmark, 25-28 August 1986, pp. 325-346, 1987, North-Holland, 0-444-70253-9. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
28 | Eike Best, Raymond R. Devillers |
Interleaving and partial orders in concurrency: a formal comparison. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Description of Programming Concepts ![In: Formal Description of Programming Concepts - III: Proceedings of the IFIP TC 2/WG 2.2 Working Conference on Formal Description of Programming Concepts - III, Ebberup, Denmark, 25-28 August 1986, pp. 299-324, 1987, North-Holland, 0-444-70253-9. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
28 | Roberto M. Amadio, Giuseppe Longo |
Type-free compiling of parametric types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Description of Programming Concepts ![In: Formal Description of Programming Concepts - III: Proceedings of the IFIP TC 2/WG 2.2 Working Conference on Formal Description of Programming Concepts - III, Ebberup, Denmark, 25-28 August 1986, pp. 377-398, 1987, North-Holland, 0-444-70253-9. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
28 | Sarangapani Jagannathan |
A model of data backup and recovery in a computer system for functional programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Description of Programming Concepts ![In: Formal Description of Programming Concepts - III: Proceedings of the IFIP TC 2/WG 2.2 Working Conference on Formal Description of Programming Concepts - III, Ebberup, Denmark, 25-28 August 1986, pp. 167-192, 1987, North-Holland, 0-444-70253-9. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
28 | Grazyna Mirkowska, Andrzej Salwicki |
Axiomatic definability of programming language semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Description of Programming Concepts ![In: Formal Description of Programming Concepts - III: Proceedings of the IFIP TC 2/WG 2.2 Working Conference on Formal Description of Programming Concepts - III, Ebberup, Denmark, 25-28 August 1986, pp. 3-22, 1987, North-Holland, 0-444-70253-9. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
28 | Matthias Felleisen, Daniel P. Friedman |
Control operators, the SECD-machine, and the λ-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Description of Programming Concepts ![In: Formal Description of Programming Concepts - III: Proceedings of the IFIP TC 2/WG 2.2 Working Conference on Formal Description of Programming Concepts - III, Ebberup, Denmark, 25-28 August 1986, pp. 193-222, 1987, North-Holland, 0-444-70253-9. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
28 | Scott A. Smolka, Robert E. Strom |
A CCS semantics for NIL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Description of Programming Concepts ![In: Formal Description of Programming Concepts - III: Proceedings of the IFIP TC 2/WG 2.2 Working Conference on Formal Description of Programming Concepts - III, Ebberup, Denmark, 25-28 August 1986, pp. 347-376, 1987, North-Holland, 0-444-70253-9. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
28 | Saumya K. Debray, Prateek Mishra |
Denotational and operational semantics for PROLOG. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Description of Programming Concepts ![In: Formal Description of Programming Concepts - III: Proceedings of the IFIP TC 2/WG 2.2 Working Conference on Formal Description of Programming Concepts - III, Ebberup, Denmark, 25-28 August 1986, pp. 245-274, 1987, North-Holland, 0-444-70253-9. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
28 | Joxan Jaffar, Jean-Louis Lassez, Michael J. Maher |
PROLOG - II as an instance of the logic programming language scheme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Description of Programming Concepts ![In: Formal Description of Programming Concepts - III: Proceedings of the IFIP TC 2/WG 2.2 Working Conference on Formal Description of Programming Concepts - III, Ebberup, Denmark, 25-28 August 1986, pp. 275-298, 1987, North-Holland, 0-444-70253-9. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
28 | Mariangiola Dezani-Ciancaglini, Ines Margaria |
Polymorphic types, fixed-point combinators and continuous lambda-models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Description of Programming Concepts ![In: Formal Description of Programming Concepts - III: Proceedings of the IFIP TC 2/WG 2.2 Working Conference on Formal Description of Programming Concepts - III, Ebberup, Denmark, 25-28 August 1986, pp. 425-450, 1987, North-Holland, 0-444-70253-9. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
28 | Frank S. de Boer |
A proof rule for process-creation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Description of Programming Concepts ![In: Formal Description of Programming Concepts - III: Proceedings of the IFIP TC 2/WG 2.2 Working Conference on Formal Description of Programming Concepts - III, Ebberup, Denmark, 25-28 August 1986, pp. 23-52, 1987, North-Holland, 0-444-70253-9. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
28 | Pierpaolo Degano, Rocco De Nicola, Ugo Montanari |
Observational equivalences for concurrency models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Description of Programming Concepts ![In: Formal Description of Programming Concepts - III: Proceedings of the IFIP TC 2/WG 2.2 Working Conference on Formal Description of Programming Concepts - III, Ebberup, Denmark, 25-28 August 1986, pp. 105-134, 1987, North-Holland, 0-444-70253-9. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
28 | Manfred Broy, Martin Wirsing |
On the Algebraic Specification of Finitary Infinite. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Description of Programming Concepts ![In: Formal Description of Programming Concepts : Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts- II, Garmisch-Partenkirchen, FRG, 1-4 June, 1982, pp. 171-198, 1982, North-Holland, 0-444-86619-1. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP BibTeX RDF |
|
28 | Jan A. Bergstra, Jan Willem Klop |
Formal Proof Systems for Program Equivalence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Description of Programming Concepts ![In: Formal Description of Programming Concepts : Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts- II, Garmisch-Partenkirchen, FRG, 1-4 June, 1982, pp. 289-304, 1982, North-Holland, 0-444-86619-1. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP BibTeX RDF |
|
28 | Ruurd Kuiper 0001, Willem P. de Roever |
Fairness Assumptions for CSP in a Temporal Logic Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Description of Programming Concepts ![In: Formal Description of Programming Concepts : Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts- II, Garmisch-Partenkirchen, FRG, 1-4 June, 1982, pp. 159-170, 1982, North-Holland, 0-444-86619-1. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP BibTeX RDF |
|
28 | Manfred Broy |
Fixed PointTheory for Communication and Concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Description of Programming Concepts ![In: Formal Description of Programming Concepts : Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts- II, Garmisch-Partenkirchen, FRG, 1-4 June, 1982, pp. 125-148, 1982, North-Holland, 0-444-86619-1. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP BibTeX RDF |
|
28 | Guy Cousineau |
Session Discussion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Description of Programming Concepts ![In: Formal Description of Programming Concepts : Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts- II, Garmisch-Partenkirchen, FRG, 1-4 June, 1982, pp. 401-408, 1982, North-Holland, 0-444-86619-1. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP BibTeX RDF |
|
28 | Guy Cousineau |
Session Discussion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Description of Programming Concepts ![In: Formal Description of Programming Concepts : Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts- II, Garmisch-Partenkirchen, FRG, 1-4 June, 1982, pp. 349-356, 1982, North-Holland, 0-444-86619-1. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP BibTeX RDF |
|
28 | Peter Padawitz |
Equational Data Type Specifications and Recursive Program Schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Description of Programming Concepts ![In: Formal Description of Programming Concepts : Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts- II, Garmisch-Partenkirchen, FRG, 1-4 June, 1982, pp. 305-330, 1982, North-Holland, 0-444-86619-1. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP BibTeX RDF |
|
28 | Ilaria Castellani, Paola Franceschi, Ugo Montanari |
Labeled Event Structures: A Model for Observable Concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Description of Programming Concepts ![In: Formal Description of Programming Concepts : Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts- II, Garmisch-Partenkirchen, FRG, 1-4 June, 1982, pp. 383-400, 1982, North-Holland, 0-444-86619-1. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP BibTeX RDF |
|
28 | Gordon D. Plotkin |
An Operational Semantics for CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Description of Programming Concepts ![In: Formal Description of Programming Concepts : Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts- II, Garmisch-Partenkirchen, FRG, 1-4 June, 1982, pp. 199-226, 1982, North-Holland, 0-444-86619-1. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP BibTeX RDF |
|
28 | Jaco de Bakker |
Session Discussion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Description of Programming Concepts ![In: Formal Description of Programming Concepts : Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts- II, Garmisch-Partenkirchen, FRG, 1-4 June, 1982, pp. 251-264, 1982, North-Holland, 0-444-86619-1. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP BibTeX RDF |
|
28 | Marco A. Casanova, José Mauro Volkmer de Castilho, António Luz Furtado |
Properties of Conceptual and External Database Schemas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Description of Programming Concepts ![In: Formal Description of Programming Concepts : Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts- II, Garmisch-Partenkirchen, FRG, 1-4 June, 1982, pp. 409-430, 1982, North-Holland, 0-444-86619-1. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP BibTeX RDF |
|
28 | Hartmann J. Genrich, P. S. Thiagarajan |
Well-Formed Flow Charts for Concurrent Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Description of Programming Concepts ![In: Formal Description of Programming Concepts : Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts- II, Garmisch-Partenkirchen, FRG, 1-4 June, 1982, pp. 357-382, 1982, North-Holland, 0-444-86619-1. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP BibTeX RDF |
|
28 | Marie-Claude Gaudel |
Correctness Proof of Programming Language Translations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Description of Programming Concepts ![In: Formal Description of Programming Concepts : Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts- II, Garmisch-Partenkirchen, FRG, 1-4 June, 1982, pp. 25-44, 1982, North-Holland, 0-444-86619-1. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP BibTeX RDF |
|
28 | Erich J. Neuhold |
Session Discussion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Description of Programming Concepts ![In: Formal Description of Programming Concepts : Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts- II, Garmisch-Partenkirchen, FRG, 1-4 June, 1982, pp. 281-288, 1982, North-Holland, 0-444-86619-1. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP BibTeX RDF |
|
28 | P. Lucas |
Session Discussion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Description of Programming Concepts ![In: Formal Description of Programming Concepts : Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts- II, Garmisch-Partenkirchen, FRG, 1-4 June, 1982, pp. 99-106, 1982, North-Holland, 0-444-86619-1. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP BibTeX RDF |
|
28 | Harald Ganzinger |
Denotational Semantics for Languages with Modules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Description of Programming Concepts ![In: Formal Description of Programming Concepts : Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts- II, Garmisch-Partenkirchen, FRG, 1-4 June, 1982, pp. 3-24, 1982, North-Holland, 0-444-86619-1. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP BibTeX RDF |
|
28 | Andrea Maggiolo-Schettini, Józef Winkowski |
Towards a Programming Language for Manipulating Relational Data Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Description of Programming Concepts ![In: Formal Description of Programming Concepts : Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts- II, Garmisch-Partenkirchen, FRG, 1-4 June, 1982, pp. 265-280, 1982, North-Holland, 0-444-86619-1. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP BibTeX RDF |
|
28 | Eric G. Wagner |
Functorial Hierarchies of Functional Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Description of Programming Concepts ![In: Formal Description of Programming Concepts : Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts- II, Garmisch-Partenkirchen, FRG, 1-4 June, 1982, pp. 107-124, 1982, North-Holland, 0-444-86619-1. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP BibTeX RDF |
|
28 | Eike Best |
Relational Semantics of Concurrent Programs (With Some Applications). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Description of Programming Concepts ![In: Formal Description of Programming Concepts : Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts- II, Garmisch-Partenkirchen, FRG, 1-4 June, 1982, pp. 431-452, 1982, North-Holland, 0-444-86619-1. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP BibTeX RDF |
|
28 | Jean-Pierre Jouannaud, Pierre Lescanne, F. Reinig |
Recursive Decomposition Ordering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Description of Programming Concepts ![In: Formal Description of Programming Concepts : Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts- II, Garmisch-Partenkirchen, FRG, 1-4 June, 1982, pp. 331-348, 1982, North-Holland, 0-444-86619-1. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP BibTeX RDF |
|
28 | Peter D. Mosses |
Abstract Semantic Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Description of Programming Concepts ![In: Formal Description of Programming Concepts : Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts- II, Garmisch-Partenkirchen, FRG, 1-4 June, 1982, pp. 45-72, 1982, North-Holland, 0-444-86619-1. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP BibTeX RDF |
|
28 | Andrzej Blikle |
Session Discussion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Description of Programming Concepts ![In: Formal Description of Programming Concepts : Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts- II, Garmisch-Partenkirchen, FRG, 1-4 June, 1982, pp. 149-158, 1982, North-Holland, 0-444-86619-1. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP BibTeX RDF |
|
28 | Matthew C. B. Hennessy, Wei Li 0022 |
Translating a Subset of Ada into CCS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Description of Programming Concepts ![In: Formal Description of Programming Concepts : Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts- II, Garmisch-Partenkirchen, FRG, 1-4 June, 1982, pp. 227-250, 1982, North-Holland, 0-444-86619-1. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP BibTeX RDF |
|
28 | Henning Christiansen 0001, Neil D. Jones |
Control Flow Treatment in a Simple Semantics-Directed Compiler Generator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Description of Programming Concepts ![In: Formal Description of Programming Concepts : Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts- II, Garmisch-Partenkirchen, FRG, 1-4 June, 1982, pp. 73-98, 1982, North-Holland, 0-444-86619-1. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP BibTeX RDF |
|
28 | Krzysztof R. Apt |
Equivalence of Operational and Denotational Semantics for a Fragment of Pascal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Description of Programming Concepts ![In: Formal Description of Programming Concepts: Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, St. Andrews, NB, Canada, August 1-5, 1977, pp. 139-164, 1977, North-Holland, 0-444-85107-0. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP BibTeX RDF |
|
28 | Reiji Nakajima, Michio Honda, Hayao Nakahara |
Describing and Verifying Programs with Abstract Data Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Description of Programming Concepts ![In: Formal Description of Programming Concepts: Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, St. Andrews, NB, Canada, August 1-5, 1977, pp. 527-556, 1977, North-Holland, 0-444-85107-0. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP BibTeX RDF |
|
28 | Maarten M. Fokkinga |
Axiomatization of Declarations and the Formal Treatment of an Escape Construct. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Description of Programming Concepts ![In: Formal Description of Programming Concepts: Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, St. Andrews, NB, Canada, August 1-5, 1977, pp. 221-236, 1977, North-Holland, 0-444-85107-0. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP BibTeX RDF |
|
28 | Richard J. Lipton, Lawrence Snyder |
On the Power of Applicative Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Description of Programming Concepts ![In: Formal Description of Programming Concepts: Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, St. Andrews, NB, Canada, August 1-5, 1977, pp. 203-210, 1977, North-Holland, 0-444-85107-0. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP BibTeX RDF |
|
28 | John V. Guttag, James J. Horning, Ralph L. London |
A Proof Rule for Euclid Procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Description of Programming Concepts ![In: Formal Description of Programming Concepts: Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, St. Andrews, NB, Canada, August 1-5, 1977, pp. 211-220, 1977, North-Holland, 0-444-85107-0. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP BibTeX RDF |
|
28 | Jaco de Bakker |
Recursive Programs as Predicate Transformers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Description of Programming Concepts ![In: Formal Description of Programming Concepts: Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, St. Andrews, NB, Canada, August 1-5, 1977, pp. 165-182, 1977, North-Holland, 0-444-85107-0. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP BibTeX RDF |
|
28 | Patrick Cousot, Radhia Cousot |
Static Determination of Dynamic Properties of Recursive Procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Description of Programming Concepts ![In: Formal Description of Programming Concepts: Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, St. Andrews, NB, Canada, August 1-5, 1977, pp. 237-278, 1977, North-Holland, 0-444-85107-0. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP BibTeX RDF |
|
28 | Axel van Lamsweerde |
From Verifying Termination to Guaranteeing it: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Description of Programming Concepts ![In: Formal Description of Programming Concepts: Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, St. Andrews, NB, Canada, August 1-5, 1977, pp. 609-620, 1977, North-Holland, 0-444-85107-0. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP BibTeX RDF |
|
28 | Arvind, Kim P. Gostelow |
Some Relationships Between Asynchronous Interpreters of a Dataflow Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Description of Programming Concepts ![In: Formal Description of Programming Concepts: Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, St. Andrews, NB, Canada, August 1-5, 1977, pp. 95-120, 1977, North-Holland, 0-444-85107-0. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP BibTeX RDF |
|
28 | Peter E. Lauer, Eike Best, Michael W. Shields |
On the Problem of Achieving Adequacy of Concurrent Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Description of Programming Concepts ![In: Formal Description of Programming Concepts: Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, St. Andrews, NB, Canada, August 1-5, 1977, pp. 301-336, 1977, North-Holland, 0-444-85107-0. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP BibTeX RDF |
|
28 | Willem P. de Roever |
On Backtracking and Greatest Fixpoints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Description of Programming Concepts ![In: Formal Description of Programming Concepts: Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, St. Andrews, NB, Canada, August 1-5, 1977, pp. 621-640, 1977, North-Holland, 0-444-85107-0. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP BibTeX RDF |
|