The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

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

Publication years (Num. hits)
1991 (37) 1992 (1)
Publication types (Num. hits)
inproceedings(37) proceedings(1)
Venues (Conferences, Journals, ...)
RCLP(38)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 9 occurrences of 8 keywords

Results
Found 38 publication records. Showing 38 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Andrei Voronkov (eds.) Logic Programming, First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990 - Second Russian Conference on Logic Programming, St. Petersburg, Russia, September 11-16, 1991, Proceedings Search on Bibsonomy RCLP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Andrei Mantsivoda, Vyacheslav Petukhin Compiling Flang. Search on Bibsonomy RCLP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Dale Miller 0001 Abstract Syntax and Logic Programming. Search on Bibsonomy RCLP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1A. G. Bondarenko Abductive Systems for Non-Monotonic Reasoning. Search on Bibsonomy RCLP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Gerda Janssens, Maurice Bruynooghe On Abstracting the Procedural Behaviour of Logic Programs. Search on Bibsonomy RCLP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1T. J. Reynolds, Petros Kefalas BRAVE: An OR-Parallel Dialect of Prolog and its Application to Artificial Intelligence. Search on Bibsonomy RCLP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Bart Demoen, André Mariën Implementation of Prolog as Binary Definite Programs. Search on Bibsonomy RCLP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Egon Börger, Dean Rosenzweig WAM Algebras - A Mathematical Study of Implementation, Part 2. Search on Bibsonomy RCLP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Wiebe van der Hoek Some Considerations on the Logic PfD. Search on Bibsonomy RCLP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Norbert Kehrer, Gustaf Neumann Treating Enhanced Entity Relationship Models in a Declarative Style. Search on Bibsonomy RCLP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Antonio Brogi, Evelina Lamma, Paola Mello Objects in a Logic Programming Framework. Search on Bibsonomy RCLP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Dmitri Yu. Boulanger Deep Logic Program Transformation Using Abstract Interpretation. Search on Bibsonomy RCLP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Paul Tarau Program Transformations and WAM-Support for the Compilation of Definite Metaprograms. Search on Bibsonomy RCLP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Gustaf Neumann A Simple Transformation from Prolog-written Metalevel Interpreters into Compilers and its Implementation. Search on Bibsonomy RCLP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Vladimir B. Borshchev Properties of Algorithmic Operators. Search on Bibsonomy RCLP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Regimantas Pliuskevicius Logical Foundation for Logic Programming Based on First Order Linear Temporal Logic. Search on Bibsonomy RCLP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Wai-Keong Foong Or-Parallel Prolog with Heuristic Task Distribution. Search on Bibsonomy RCLP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Martin C. Henson Safe Positive Induction in the Programming Logic TK. Search on Bibsonomy RCLP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Michel Parigot Free Deduction: An Analysis of "Computations" in Classical Logic. Search on Bibsonomy RCLP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1S. Ivanets, N. Ilinsky, M. Krylov WAM Specification for Parallel Execution on SIMD Computer. Search on Bibsonomy RCLP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF parallel unification, Warren Abstract Machine, compiler, Prolog, hypercube, SIMD-computer
1Manfred Meyer, Hans-Günther Hein, Jörg P. Müller FIDO: Finite Domain Consistency Techniques in Logic Programming. Search on Bibsonomy RCLP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Jurate Sakalauskaite A Sequent Calculus for a First Order Linear Temporal Logic with Explicit Time. Search on Bibsonomy RCLP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Evgeny Dantsin Probabilistic Logic Programs and their Semantics. Search on Bibsonomy RCLP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Stefania Costantini, Gaetano Aurelio Lanzarone On Procedural Semantics of Metalevel Negation. Search on Bibsonomy RCLP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Yves Bekkers, Lucien Ungaro Real-Time Memory Management for Prolog. Search on Bibsonomy RCLP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF early reset, variable shunting, attributed variable, virtual backtracking, Prolog, implementation, abstract machine, realtime, garbage collector
1François Bry, Rainer Manthey, Bern Martens Integrity Verification in Knowledge Bases. Search on Bibsonomy RCLP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1David M. W. Powers Logic Programming with Pseudo-Resolution. Search on Bibsonomy RCLP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Mounira Belmesk A Process Semantics of Logic Programs. Search on Bibsonomy RCLP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1P. Sébillot A Logical-Based Language for Feature Specification and Transmission Control. Search on Bibsonomy RCLP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Andrei Voronkov Logic Programming with Bounded Quantifiers. Search on Bibsonomy RCLP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi A Constructive Logic Approach to Database Theory. Search on Bibsonomy RCLP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Egon Börger, Elvinia Riccobene Logical Operational Semantics of Parlog. Part II: Or-Parallelism. Search on Bibsonomy RCLP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Alexander Ja. Dikovsky Prolog Semantics for Measuring Space Consumption. Search on Bibsonomy RCLP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Francesco Russo, Mirko Sancassani A Declarative Debugging Environment for DATALOG. Search on Bibsonomy RCLP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Vladimir S. Neiman Deduction with Generalized Terms. Search on Bibsonomy RCLP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Aida Pliuskeviciene Gentzen-Type Calculi for Modal Logic S4 with Barcan Formula. Search on Bibsonomy RCLP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Hans-Günther Hein, Manfred Meyer A WAM Compilation Scheme. Search on Bibsonomy RCLP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Evgeny L. Kitaev Processing of Ground Regular Terms in PROLOG. Search on Bibsonomy RCLP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #38 of 38 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license