|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 32 publication records. Showing 32 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Gilles Dowek, Jan Heering, Karl Meinke, Bernhard Möller (eds.) |
Higher-Order Algebra, Logic, and Term Rewriting, Second International Workshop, HOA '95, Paderborn, Germany, September 21-22, 1995, Selected Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
HOA ![Springer, 3-540-61254-8 The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Kahrs |
The Variable Containment Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HOA ![In: Higher-Order Algebra, Logic, and Term Rewriting, Second International Workshop, HOA '95, Paderborn, Germany, September 21-22, 1995, Selected Papers, pp. 109-123, 1995, Springer, 3-540-61254-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Barthe, Herman Geuvers |
Modular Properties of Algebraic Type Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HOA ![In: Higher-Order Algebra, Logic, and Term Rewriting, Second International Workshop, HOA '95, Paderborn, Germany, September 21-22, 1995, Selected Papers, pp. 37-56, 1995, Springer, 3-540-61254-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Inge Bethke, Jan Willem Klop |
Collapsing Partial Combinatory Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HOA ![In: Higher-Order Algebra, Logic, and Term Rewriting, Second International Workshop, HOA '95, Paderborn, Germany, September 21-22, 1995, Selected Papers, pp. 57-73, 1995, Springer, 3-540-61254-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Jan Willem Klop |
Term Graph Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HOA ![In: Higher-Order Algebra, Logic, and Term Rewriting, Second International Workshop, HOA '95, Paderborn, Germany, September 21-22, 1995, Selected Papers, pp. 1-16, 1995, Springer, 3-540-61254-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Jan Springintveld |
Third-Order Matching in the Polymorphic Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HOA ![In: Higher-Order Algebra, Logic, and Term Rewriting, Second International Workshop, HOA '95, Paderborn, Germany, September 21-22, 1995, Selected Papers, pp. 221-237, 1995, Springer, 3-540-61254-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Blom |
A Complete Proof System for Nested Term Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HOA ![In: Higher-Order Algebra, Logic, and Term Rewriting, Second International Workshop, HOA '95, Paderborn, Germany, September 21-22, 1995, Selected Papers, pp. 74-89, 1995, Springer, 3-540-61254-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Jaco van de Pol |
Two Different Strong Normalization Proofs? ![Search on Bibsonomy](Pics/bibsonomy.png) |
HOA ![In: Higher-Order Algebra, Logic, and Term Rewriting, Second International Workshop, HOA '95, Paderborn, Germany, September 21-22, 1995, Selected Papers, pp. 201-220, 1995, Springer, 3-540-61254-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Karl Meinke |
Higher-Order Equational Logic for Specification, Simulation and Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HOA ![In: Higher-Order Algebra, Logic, and Term Rewriting, Second International Workshop, HOA '95, Paderborn, Germany, September 21-22, 1995, Selected Papers, pp. 124-143, 1995, Springer, 3-540-61254-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Vincent van Oostrom |
Development Closed Critical Pairs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HOA ![In: Higher-Order Algebra, Logic, and Term Rewriting, Second International Workshop, HOA '95, Paderborn, Germany, September 21-22, 1995, Selected Papers, pp. 185-200, 1995, Springer, 3-540-61254-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Sava Mintchev, David R. Lester |
The Correctness of a Higher-Order Lazy Functional Language Implementation: An Exercise in Mechanical Theorem Proving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HOA ![In: Higher-Order Algebra, Logic, and Term Rewriting, Second International Workshop, HOA '95, Paderborn, Germany, September 21-22, 1995, Selected Papers, pp. 144-162, 1995, Springer, 3-540-61254-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Steffen van Bakel, Maribel Fernández |
Approximation and Normalization Results for Typeable Term Rewriting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HOA ![In: Higher-Order Algebra, Logic, and Term Rewriting, Second International Workshop, HOA '95, Paderborn, Germany, September 21-22, 1995, Selected Papers, pp. 17-36, 1995, Springer, 3-540-61254-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Möller |
Assertions and Recursions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HOA ![In: Higher-Order Algebra, Logic, and Term Rewriting, Second International Workshop, HOA '95, Paderborn, Germany, September 21-22, 1995, Selected Papers, pp. 163-184, 1995, Springer, 3-540-61254-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | L. J. Steggles |
Higher-Order Algebra with Transfinite Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HOA ![In: Higher-Order Algebra, Logic, and Term Rewriting, Second International Workshop, HOA '95, Paderborn, Germany, September 21-22, 1995, Selected Papers, pp. 238-263, 1995, Springer, 3-540-61254-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Li-Guo Wang, Michael Mendler |
Abstraction of Hardware Construction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HOA ![In: Higher-Order Algebra, Logic, and Term Rewriting, Second International Workshop, HOA '95, Paderborn, Germany, September 21-22, 1995, Selected Papers, pp. 264-287, 1995, Springer, 3-540-61254-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Claus Hintermeier, Hélène Kirchner, Peter D. Mosses |
Rn- and Gn-Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HOA ![In: Higher-Order Algebra, Logic, and Term Rewriting, Second International Workshop, HOA '95, Paderborn, Germany, September 21-22, 1995, Selected Papers, pp. 90-108, 1995, Springer, 3-540-61254-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Jan Heering, Karl Meinke, Bernhard Möller, Tobias Nipkow (eds.) |
Higher-Order Algebra, Logic, and Term Rewriting, First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23-24, 1993, Selected Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
HOA ![Springer, 3-540-58233-9 The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Kahrs |
Compilation of Combinatory Reduction Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HOA ![In: Higher-Order Algebra, Logic, and Term Rewriting, First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23-24, 1993, Selected Papers, pp. 169-188, 1993, Springer, 3-540-58233-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Pierre-Yves Schobbens |
Extensions of Initial Models and their Second-Order Proof Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HOA ![In: Higher-Order Algebra, Logic, and Term Rewriting, First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23-24, 1993, Selected Papers, pp. 326-344, 1993, Springer, 3-540-58233-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Karl Meinke, L. J. Steggles |
Specification and Verification in Higher-Order Algebra: A Case Study of Convolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HOA ![In: Higher-Order Algebra, Logic, and Term Rewriting, First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23-24, 1993, Selected Papers, pp. 189-222, 1993, Springer, 3-540-58233-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Asperti, Cosimo Laneve |
Interaction Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HOA ![In: Higher-Order Algebra, Logic, and Term Rewriting, First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23-24, 1993, Selected Papers, pp. 1-19, 1993, Springer, 3-540-58233-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Radu Grosu, Franz Regensburger |
The Semantics of SPECTRUM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HOA ![In: Higher-Order Algebra, Logic, and Term Rewriting, First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23-24, 1993, Selected Papers, pp. 124-145, 1993, Springer, 3-540-58233-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Arie van Deursen, T. B. Dinesh |
Origin Tracking for Higher-Order Term Rewriting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HOA ![In: Higher-Order Algebra, Logic, and Term Rewriting, First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23-24, 1993, Selected Papers, pp. 76-95, 1993, Springer, 3-540-58233-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Jaco van de Pol |
Termination Proofs for Higher-order Rewrite Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HOA ![In: Higher-Order Algebra, Logic, and Term Rewriting, First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23-24, 1993, Selected Papers, pp. 305-325, 1993, Springer, 3-540-58233-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Möller |
Ordered and Continuous Models of Higher-Order Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HOA ![In: Higher-Order Algebra, Logic, and Term Rewriting, First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23-24, 1993, Selected Papers, pp. 223-255, 1993, Springer, 3-540-58233-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Monica Nesi, Valeria de Paiva, Eike Ritter |
Rewriting Properties of Combinators for Rudimentary Linear Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HOA ![In: Higher-Order Algebra, Logic, and Term Rewriting, First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23-24, 1993, Selected Papers, pp. 256-275, 1993, Springer, 3-540-58233-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Françoise Bellegarde |
A Transformation System Combining Partial Evaluation with Term Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HOA ![In: Higher-Order Algebra, Logic, and Term Rewriting, First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23-24, 1993, Selected Papers, pp. 40-55, 1993, Springer, 3-540-58233-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Steffen van Bakel, Maribel Fernández |
Strong Normalization of Typeable Rewrite Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HOA ![In: Higher-Order Algebra, Logic, and Term Rewriting, First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23-24, 1993, Selected Papers, pp. 20-39, 1993, Springer, 3-540-58233-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | William M. Farmer |
Theory Interpretation in Simple Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HOA ![In: Higher-Order Algebra, Logic, and Term Rewriting, First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23-24, 1993, Selected Papers, pp. 96-123, 1993, Springer, 3-540-58233-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Vincent van Oostrom, Femke van Raamsdonk |
Comparing Combinatory Reduction Systems and Higher-order Rewrite Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HOA ![In: Higher-Order Algebra, Logic, and Term Rewriting, First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23-24, 1993, Selected Papers, pp. 276-304, 1993, Springer, 3-540-58233-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Rudolf Berghammer, Thomas F. Gritzner, Gunther Schmidt 0001 |
Prototyping Relational Specifications Using Higher-Order Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HOA ![In: Higher-Order Algebra, Logic, and Term Rewriting, First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23-24, 1993, Selected Papers, pp. 56-75, 1993, Springer, 3-540-58233-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | B. M. Hearn, Karl Meinke |
ATLAS: A Typed Language for Algebraic Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HOA ![In: Higher-Order Algebra, Logic, and Term Rewriting, First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23-24, 1993, Selected Papers, pp. 146-168, 1993, Springer, 3-540-58233-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #32 of 32 (100 per page; Change: )
|
|