The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Narrowing with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1966-1987 (19) 1988-1989 (22) 1990-1991 (28) 1992 (26) 1993-1994 (30) 1995 (18) 1996-1997 (31) 1998 (15) 1999 (15) 2000 (19) 2001 (24) 2002 (24) 2003 (21) 2004 (25) 2005 (33) 2006 (26) 2007 (40) 2008 (36) 2009 (26) 2010 (19) 2011-2012 (23) 2013-2014 (23) 2015 (17) 2016-2017 (30) 2018 (17) 2019-2020 (30) 2021-2022 (38) 2023 (25) 2024 (8)
Publication types (Num. hits)
article(182) incollection(2) inproceedings(518) phdthesis(6)
Venues (Conferences, Journals, ...)
CoRR(29) PLILP(26) RTA(21) ALP(17) PPDP(14) CADE(12) ESOP(7) FLOPS(7) HICSS(7) ICLP(6) Theor. Comput. Sci.(6) WFLP(6) WRLA(6) APPIA-GULP-PRODE(5) Appl. Algebra Eng. Commun. Com...(5) CP(5) More (+10 of total 414)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 298 occurrences of 234 keywords

Results
Found 708 publication records. Showing 708 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
132Annegret Habel, Detlef Plump Complete Strategies for Term Graph Narrowing. Search on Bibsonomy WADT The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
107Sergio Antoy, Zena M. Ariola Narrowing the Narrowing Space. Search on Bibsonomy PLILP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Narrowing space, Computed expression, Regular computed expression, Finite representation, Narrowing, Functional logic programming
101María Alpuente, Santiago Escobar 0001, José Iborra Modular Termination of Basic Narrowing. Search on Bibsonomy RTA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
101José Meseguer 0001, Prasanna Thati Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols. Search on Bibsonomy High. Order Symb. Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Rewrite theories, Security protocols, Reachability, Narrowing
101Sergio Antoy, Rachid Echahed, Michael Hanus A needed narrowing strategy. Search on Bibsonomy J. ACM The full citation details ... 2000 DBLP  DOI  BibTeX  RDF call-by-need, narrowing strategies, rewrite systems, functional logic programming languages
90Santiago Escobar 0001 Refining weakly outermost-needed rewriting and narrowing. Search on Bibsonomy PPDP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF neededness, term rewriting, lazy evaluation, demandness, parallel evaluation
90Andreas Werner 0001, Alexander Bockmayr, Stefan Krischer How to Realize LSE Narrowing. Search on Bibsonomy ALP The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
90Michael Hanus Incremental Rewriting in Narrowing Derivations. Search on Bibsonomy ALP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
83María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal Specialization of Lazy Functional Logic Programs. Search on Bibsonomy PEPM The full citation details ... 1997 DBLP  DOI  BibTeX  RDF integration of functional and logic programming, lazy narrowing, post-processing renaming, partial evaluation, term rewriting systems
83José Hernández-Orallo, M. José Ramírez-Quintana A Strong Complete Schmema for Inductive Functional Logic Programming. Search on Bibsonomy ILP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Function Invention, Induction of Auxiliary Functions, Inverse Narrowing, Inductive Logic Programming, Narrowing, Functional Logic Programming
80Santiago Escobar 0001, José Meseguer 0001, Prasanna Thati Natural Narrowing for General Term Rewriting Systems. Search on Bibsonomy RTA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
80Michael Hanus, Christian Prehofer Higher-Order Narrowing with Definitional Trees. Search on Bibsonomy RTA The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
80Stefan Krischer, Alexander Bockmayr Detecting Redundant Narrowing Derivations by the LSE-SL Reducability Test. Search on Bibsonomy RTA The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
80J. Guadalupe Ramos, Josep Silva, Germán Vidal Fast narrowing-driven partial evaluation for inductively sequential programs. Search on Bibsonomy ICFP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF offline partial evaluation, quasi-termination, narrowing
69Santiago Escobar 0001, José Meseguer 0001 Symbolic Model Checking of Infinite-State Systems Using Narrowing. Search on Bibsonomy RTA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
69Rachid Echahed, Nicolas Peltier Narrowing Data-Structures with Pointers. Search on Bibsonomy ICGT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
69Santiago Escobar 0001 Implementing Natural Rewriting and Narrowing Efficiently. Search on Bibsonomy FLOPS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
69María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal Safe Folding/Unfolding with Conditional Narrowing. Search on Bibsonomy ALP/HOA The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
69Michael Hanus Combining Lazy Narrowing and Simplification. Search on Bibsonomy PLILP The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
69Jia-Huai You Outer Narrowing for Equational Theories Based on Constructors. Search on Bibsonomy ICALP The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
69Nadia Brauner, Rachid Echahed, Gerd Finke, Hanns Gregor, Frédéric Prost Specializing Narrowing for Timetable Generation: A Case Study. Search on Bibsonomy PADL The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Timetable generation, Constraints, Narrowing, Functional-logic programming
69Jonathan K. Millen, Hai-Ping Ko Narrowing terminates for encryption. Search on Bibsonomy CSFW The full citation details ... 1996 DBLP  DOI  BibTeX  RDF term replacement rules, reduction properties, symbolic encryption operations, narrowing steps, infinite sequence, popular abstract encryption operators, terminating algorithm, cryptography, encryption, access protocols, protocol analysis
59María Alpuente, Santiago Escobar 0001, José Iborra Termination of Narrowing Using Dependency Pairs. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
59Germán Vidal Termination of Narrowing in Left-Linear Constructor Systems. Search on Bibsonomy FLOPS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
59Emanuele Viola E-unifiability via Narrowing. Search on Bibsonomy ICTCS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
59Satoshi Okui, Aart Middeldorp, Tetsuo Ida Lazy Narrowing: Strong Completeness and Eager Variable Elimination (Extended Abstract). Search on Bibsonomy TAPSOFT The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
59Olav Lysne On the Connection between Narrowing and Proof by Consistency. Search on Bibsonomy CADE The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
59Rachid Echahed Uniform Narrowing Strategies. Search on Bibsonomy ALP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
59John Darlington, Yike Guo Narrowing and Unification in Functional Programming - An Evaluation Mechanism for Absolute Set Abstraction. Search on Bibsonomy RTA The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
59Jia-Huai You, P. A. Subrahmanyam On the Completeness of Narrowing for E-Unification. Search on Bibsonomy KBCS The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
59Alexander Bockmayr Narrowing with Built-In Theories. Search on Bibsonomy ALP The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
59Pierre Réty Improving Basic Narrowing Techniques. Search on Bibsonomy RTA The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
55Jim Christian Some Termination Criteria for Narrowing and E-Narrowing. Search on Bibsonomy CADE The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
52Michael Katelman, José Meseguer 0001, Santiago Escobar 0001 Directed-Logical Testing for Functional Verification of Microprocessors. Search on Bibsonomy MEMOCODE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
52Sergio Antoy, Stephen Johnson Formalization and abstract implementation of rewriting with nested rules. Search on Bibsonomy PPDP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF term rewriting systems, non-determinism, narrowing, functional logic programming, block structured
52María Alpuente, Moreno Falaschi, Germán Vidal Partial Evaluation of Functional Logic Programs. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF conditional term-rewriting systems, integration of functional and logic programming, narrowing strategies, partial evaluation
49Isabelle Gnaedig, Hélène Kirchner Narrowing, Abstraction and Constraints for Proving Properties of Reduction Relations. Search on Bibsonomy Rewriting, Computation and Proof The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
49Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández Narrowing for First Order Functional Logic Programs with Call-Time Choice Semantics. Search on Bibsonomy INAP/WLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
49Francisco Javier López-Fraguas, Jaime Sánchez-Hernández Narrowing Failure in Functional Logic Programming. Search on Bibsonomy FLOPS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
49Tetsuo Ida, Mircea Marin, Taro Suzuki Higher-Order Lazy Narrowing Calculus: A Solver for Higher-Order Equations. Search on Bibsonomy EUROCAST The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
49Robert Nieuwenhuis On Narrowing, Refutation Proofs and Constraints. Search on Bibsonomy RTA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
49Sergio Antoy, Rachid Echahed, Michael Hanus A Needed Narrowing Strategy. Search on Bibsonomy POPL The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
49Aart Middeldorp, Erik Hamoen Counterexamples to Completeness Results for Basic Narrowing (Extended Abstract). Search on Bibsonomy ALP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
49Juan Carlos González Moreno, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo On the Completeness of Narrowing as the Operational Semantics of Functional Logic Programming. Search on Bibsonomy CSL The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
49Rita Loogen From Reduction Machines To Narrowing Machines. Search on Bibsonomy TAPSOFT, Vol.2 The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
49Andy Mück Compilation of Narrowing. Search on Bibsonomy PLILP The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
49Rachid Echahed On Comleteness of Narrowing Strategies. Search on Bibsonomy CAAP The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
49Peter Padawitz Strategy-Controlled Reduction and Narrowing. Search on Bibsonomy RTA The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
48Mircea Marin, Aart Middeldorp New completeness results for lazy conditional narrowing. Search on Bibsonomy PPDP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF conditional rewriting, narrowing, evaluation strategies
48Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda A lazy narrowing calculus for declarative constraint programming. Search on Bibsonomy PPDP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF constraint logic programming, rewrite systems, narrowing, constraint solvers, functional logic programming languages
42Ilya Levin, Benjamin Abramov, Vladimir Ostrovsky Reduction of Fault Latency in Sequential Circuits by using Decomposition. Search on Bibsonomy DFT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
42Gerda Janssens, Maurice Bruynooghe, Vincent Englebert Abstracting Numerical Values in CLP(H, N). Search on Bibsonomy PLILP The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
42Jia-Huai You, P. A. Subrahmanyam E-Unification Algorithms for a Class of Confluent Term Rewriting Systems. Search on Bibsonomy ICALP The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
42J. Guadalupe Ramos, Josep Silva, Germán Vidal An offline partial evaluator for curry programs. Search on Bibsonomy WCFLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF offline partial evaluation, narrowing
42Sonia Estévez Martín, Rafael del Vado Vírseda Designing an efficient computation strategy in CFLP(FD) using definitional trees. Search on Bibsonomy WCFLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF definitional trees, functional logic languages, constraint logic programming, narrowing, finite domains
42Pascual Julián Iranzo, Christian Villamizar Lamus Analysing Definitional Trees: Looking for Determinism. Search on Bibsonomy FLOPS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF narrowing strategies, implementation of functional logic languages, program transformation, Functional logic programming
42Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner System Presentation -- CARIBOO: An induction based proof tool for termination with strategies. Search on Bibsonomy PPDP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF ELAN, innermost, local strategy, rule based language induction, constraint, termination, rewriting, ordering, narrowing
38Manuel Clavel, Francisco Durán 0001, Steven Eker, Santiago Escobar 0001, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott Unification and Narrowing in Maude 2.4. Search on Bibsonomy RTA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
38Rafael del Vado Vírseda A Higher-Order Demand-Driven Narrowing Calculus with Definitional Trees. Search on Bibsonomy ICTAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
38Prasanna Thati, José Meseguer 0001 Complete Symbolic Reachability Analysis Using Back-and-Forth Narrowing. Search on Bibsonomy CALCO The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
38Jürgen Stuber A Model-Based Completeness Proof of Extended Narrowing and Resolution. Search on Bibsonomy IJCAR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
38María Alpuente, Moreno Falaschi, Germán Vidal Narrowing-Driven Partial Evaluation of Functional Logic Programs. Search on Bibsonomy ESOP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
38Koichi Nakahara, Aart Middeldorp, Tetsuo Ida A Complete Narrowing Calculus for Higher-Order Functional Logic Programming Search on Bibsonomy PLILP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
38Bernhard Reus Implementing Higher-Order Functions in an Algebraic Specification Language with Narrowing. Search on Bibsonomy PLILP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
38Manuel M. T. Chakravarty, Hendrik C. R. Lock The Implementation of Lazy Narrowing. Search on Bibsonomy PLILP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
38David de Frutos-Escrig, María-Inés Fernández-Camacho On Narrowing Strategies for Partial Non-Strict Functions. Search on Bibsonomy TAPSOFT, Vol.2 The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
38Jacques Chabin, Pierre Réty Narrowing Directed by a Graph of Terms. Search on Bibsonomy RTA The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
38Juan José Moreno-Navarro, Herbert Kuchen, Rita Loogen, Mario Rodríguez-Artalejo Lazy Narrowing in a Graph Machine. Search on Bibsonomy ALP The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
38A. J. J. Dick, Jim Cunningham Using Narrowing to do Isolation in Symbolic Equation Solving - An Experiment in Automated Reasoning. Search on Bibsonomy CADE The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
38Laurent Fribourg A Narrowing Procedure for Theories with Constructors. Search on Bibsonomy CADE The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
38Sergio Antoy, Bernd Brassel, Michael Hanus Conditional narrowing without conditions. Search on Bibsonomy PPDP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF conditional rewriting, narrowing, functional logic programming, evaluation strategies
38María José Ramírez, Moreno Falaschi Conditional Narrowing with Constructive Negation. Search on Bibsonomy ELP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF Equational logic programming, term rewriting systems, narrowing, constructive negation
35Sébastien Limet, Pierre Réty An Attempt of Integration of LSE Narrowing and Directed Narrowing. Search on Bibsonomy UNIF The full citation details ... 1995 DBLP  BibTeX  RDF
31Axel Simon, Andy King Widening Polyhedra with Landmarks. Search on Bibsonomy APLAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
31Rafael del Vado Vírseda Declarative Constraint Programming with Definitional Trees. Search on Bibsonomy FroCoS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
31Stefan Ratschan Continuous First-Order Constraint Satisfaction. Search on Bibsonomy AISC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Reasoning, Constraint Programming
31Juan José Moreno-Navarro Extending Constructive Negation for Partial Functions in Lazy Functional-logic Languages. Search on Bibsonomy ELP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
31Isabelle Gnaedig Induction for positive almost sure termination. Search on Bibsonomy PPDP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF constraint, probability, abstraction, termination, narrowing
31Isabelle Gnaedig, Hélène Kirchner Computing constructor forms with non terminating rewrite programs. Search on Bibsonomy PPDP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF constructor, abstraction, termination, narrowing, ordering constraint, sufficient completeness
31Andrew P. Tolmach, Sergio Antoy, Marius Nita Implementing functional logic languages using multiple threads and stores. Search on Bibsonomy ICFP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF functional logic languages, multi-versioned stores, residuation, narrowing
31Gilles Dowek, Thérèse Hardin, Claude Kirchner Theorem Proving Modulo. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF sequent calculus modulo, resolution, rewriting, automated theorem proving, higher-order logic, cut elimination, narrowing, Skolemization, deduction modulo
31Maroun Kassab, Eduard Cerny, Sidi Aourid, Thomas H. Krodel Propagation of Last-Transition-Time Constraints in Gate-Level Timing Analysis. Search on Bibsonomy DATE The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Waveforms, Graph Dominators, Domain narrowing, Formal Verification, Timing Verification, Combinational Logic circuits
31Juan Carlos González Moreno, Maria Teresa Hortalá-González, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo A Rewriting Logic for Declarative Programming. Search on Bibsonomy ESOP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF non-deterministic functions, constructor-based rewriting logic, lazy narrowing, Declarative programming
28Hiromitsu Hattori, Mark Klein, Takayuki Ito 0001 Using iterative narrowing to enable multi-party negotiations with multiple interdependent issues. Search on Bibsonomy AAMAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF multi-issue negotiation
28Gustavo Arroyo, J. Guadalupe Ramos, Josep Silva, Germán Vidal Improving Offline Narrowing-Driven Partial Evaluation Using Size-Change Graphs. Search on Bibsonomy LOPSTR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
28Lindsey Marshall, Lester Meachem Widening Access, Narrowing Curriculum: Is the Expectation of Software Training Changing the Culture within Visual Communications Higher Education? Search on Bibsonomy ICALT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
28Yuri G. Dolgov On Strategies of the Narrowing Operator Selection in the Constraint Propagation Method. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
28Germán Vidal Cost-augmented narrowing-driven specialization. Search on Bibsonomy PEPM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
28Taro Suzuki, Aart Middeldorp A Complete Selection Function for Lazy Conditional Narrowing. Search on Bibsonomy FLOPS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
28Maria Teresa Hortalá-González, Eva Ullán An Abstract Machine Based System for a Lazy Narrowing Calculus. Search on Bibsonomy FLOPS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
28Jesús Manuel Almendros-Jiménez, Ana Gil-Luezas Lazy Narrowing with Parametric Order Sorted Types. Search on Bibsonomy ALP/HOA The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
28Heinz Faßbender A Verified Implementation of Narrowing Search on Bibsonomy PLILP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
28Puri Arenas-Sánchez, Ana Gil-Luezas, Francisco Javier López-Fraguas Combining Lazy Narrowing with Disequality Constraints. Search on Bibsonomy PLILP The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
28Ulrich Fraus, Heinrich Hußmann An Inductive Theorem Prover Based on Narrowing. Search on Bibsonomy LPAR The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
28Herbert Kuchen, Juan José Moreno-Navarro, Manuel V. Hermenegildo Independent AND-Parallel Implementation of Narrowing. Search on Bibsonomy PLILP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
28Patrick Cousot, Radhia Cousot Comparing the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation. Search on Bibsonomy PLILP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
28Ulrich Fraus, Heinrich Hußmann A Narrowing-Based Theorem Prover. Search on Bibsonomy PLILP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
28Ulrich Fraus A Narrowing-Based Theorem Prover. Search on Bibsonomy RTA The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
28Marco Bellia, Michele Bugliesi, M. Eugenia Occhiuto Combinatory Forms for Equational Programming: Instances, Unification and Narrowing. Search on Bibsonomy CAAP The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
28Naomi Lindenstrauss A Parallel Implementation of Rewriting and Narrowing. Search on Bibsonomy RTA The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 708 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][>>]
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