Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "ALP"( http://dblp.L3S.de/Venues/ALP )

URL (DBLP): http://dblp.uni-trier.de/db/conf/alp

Publication years (Num. hits)
1988 (27) 1990 (27) 1992 (30) 1994 (21) 1996 (23)
Publication types (Num. hits)
inproceedings(123) proceedings(5)
Venues (Conferences, Journals, ...)
ALP(128)
Authors
Mario Rodríguez-Artalejo(4) Elena Marchiori(3) Giorgio Levi(3) Hélène Kirchner(3) Michael Hanus(3) Pierre Lescanne(3) Aart Middeldorp(2) Alexander Bockmayr(2) Bernhard Gramlich(2) Berthold Hoffmann(2) Catuscia Palamidessi(2) Claude Kirchner(2) Delia Kesner(2) Dieter Hofbauer(2) Dieter Nazareth(2) Juan José Moreno-Navarro(2) More (+10 of total 170)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 27 occurrences of 23 keywords
Results
Found 128 publication records. Showing 128 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Françoise Bellegarde A Matching Process Modulo a Theory of Categorical Products. Search on Bibsonomy ALP The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Elio Giovannetti Narrowing and Resolution in Logic-Functional programming Languages (Abstract). Search on Bibsonomy ALP The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
1Alexander Bockmayr Narrowing with Built-In Theories. Search on Bibsonomy ALP The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
1Gregory Kucherov A New Quasi-Reducibility Testing Algorithm and its Application to Proofs by Induction. Search on Bibsonomy ALP The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
1Christoph Beierle, Udo Pletat Integrating Logic Programming and Equational Specification of Abstract Data Types. Search on Bibsonomy ALP The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
1Jan A. Bergstra ACP with Signals. Search on Bibsonomy ALP The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
1Bernd I. Dahn Boolean Valued Models and Incomplete Specifications. Search on Bibsonomy ALP The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
1Hans-Joachim Goltz Functional Data Term Models and Semantic Unification. Search on Bibsonomy ALP The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
1Zoltán Fülöp 0001, Sándor Vágvölgyi A Characterization of Irreducible Sets Modulo Left-Linear Term Rewriting Systems by Tree Automata. Search on Bibsonomy ALP The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
1Uwe Wolter Narrowing in Partial Conditional Equational Theories (Abstract). Search on Bibsonomy ALP The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
1Klaus Drosten Translating Algebraic Specifications to Prolog Programs: A Comparative Study. Search on Bibsonomy ALP The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
1Laurent Fribourg Functional Extensions to Prolog: Are they Needed? Search on Bibsonomy ALP The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
1Heinrich Hußmann Nondeterministic Algebraic Specifications and Nonconfluent Term Rewriting. Search on Bibsonomy ALP The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
1George Dayantis Types, Modularisation and Abstraction in Logic Programming. Search on Bibsonomy ALP The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
1Dieter Hofbauer, Ralf-Detlef Kutsche Proving Inductive Theorems Based on Term Rewriting Systems. Search on Bibsonomy ALP The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
1Ana Pasztor Nonstandard Logics of Recursive Programs and Denotational Semantics. Search on Bibsonomy ALP The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
1Jan Grabowski, Pierre Lescanne, Wolfgang Wechler (eds.) Algebraic and Logic Programming, International Workshop, Gaussig, GDR, November 14-18, 1988, Proceedings Search on Bibsonomy ALP The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
1Jia-Huai You Solving Equations in an Equational Language. Search on Bibsonomy ALP The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
1Gert Smolka Logic Programming with Polymorphically Order-Sorted Types. Search on Bibsonomy ALP The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
1Annie Foret Rewrite Rule Systems for Modal Propositional Logic. Search on Bibsonomy ALP The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
1Hubert Comon An Effective Method for Handling Initial Algebras. Search on Bibsonomy ALP The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
1Philippe Schnoebelen Refined Compilation of Pattern-Matching for Functional Languages. Search on Bibsonomy ALP The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
1Horst Hansen, Michael Löwe Modular Algebraic Specifications. Search on Bibsonomy ALP The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
1Jean-Pierre Jouannaud, Claude Kirchner, Hélène Kirchner, Aristide Mégrelis OBJ: Programming with Equalities, Subsorts, Overloading and Parameterization. Search on Bibsonomy ALP The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
1Wadoud Bousdira A Completion Procedure for Hierarchical Conditional Rewriting Systems. Search on Bibsonomy ALP The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
1Dongbo Liu, Deyi Li Fuzzy Reasoning Based on F-Horn Clause Rules. Search on Bibsonomy ALP The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
1Juan José Moreno-Navarro, Mario Rodríguez-Artalejo BABEL: A Functional and Logic Programming Language based on Constructor Discipline and Narrowing. Search on Bibsonomy ALP The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
1Berthold Hoffmann, Detlef Plump Jungle Evaluation for Efficient Term Rewriting. Search on Bibsonomy ALP The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
Displaying result #101 - #128 of 128 (100 per page; Change: )
Pages: [<<][1][2]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license