|
|
|
|
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  |
HOA  |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Kahrs |
The Variable Containment Problem. |
HOA |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Barthe, Herman Geuvers |
Modular Properties of Algebraic Type Systems. |
HOA |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Inge Bethke, Jan Willem Klop |
Collapsing Partial Combinatory Algebras. |
HOA |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Willem Klop |
Term Graph Rewriting. |
HOA |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Springintveld |
Third-Order Matching in the Polymorphic Lambda Calculus. |
HOA |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Blom |
A Complete Proof System for Nested Term Graphs. |
HOA |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaco van de Pol |
Two Different Strong Normalization Proofs? |
HOA |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Karl Meinke |
Higher-Order Equational Logic for Specification, Simulation and Testing. |
HOA |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincent van Oostrom |
Development Closed Critical Pairs. |
HOA |
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. |
HOA |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Steffen van Bakel, Maribel Fernández |
Approximation and Normalization Results for Typeable Term Rewriting Systems. |
HOA |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Möller |
Assertions and Recursions. |
HOA |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | L. J. Steggles |
Higher-Order Algebra with Transfinite Types. |
HOA |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Li-Guo Wang, Michael Mendler |
Abstraction of Hardware Construction. |
HOA |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Claus Hintermeier, Hélène Kirchner, Peter D. Mosses |
Rn- and Gn-Logics. |
HOA |
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 |
HOA |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Kahrs |
Compilation of Combinatory Reduction Systems. |
HOA |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre-Yves Schobbens |
Extensions of Initial Models and their Second-Order Proof Systems. |
HOA |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Karl Meinke, L. J. Steggles |
Specification and Verification in Higher-Order Algebra: A Case Study of Convolution. |
HOA |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Asperti, Cosimo Laneve |
Interaction Systems. |
HOA |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Radu Grosu, Franz Regensburger |
The Semantics of SPECTRUM. |
HOA |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Arie van Deursen, T. B. Dinesh |
Origin Tracking for Higher-Order Term Rewriting Systems. |
HOA |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaco van de Pol |
Termination Proofs for Higher-order Rewrite Systems. |
HOA |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Möller |
Ordered and Continuous Models of Higher-Order Specifications. |
HOA |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Monica Nesi, Valeria de Paiva, Eike Ritter |
Rewriting Properties of Combinators for Rudimentary Linear Logic. |
HOA |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Françoise Bellegarde |
A Transformation System Combining Partial Evaluation with Term Rewriting. |
HOA |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Steffen van Bakel, Maribel Fernández |
Strong Normalization of Typeable Rewrite Systems. |
HOA |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | William M. Farmer |
Theory Interpretation in Simple Type Theory. |
HOA |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincent van Oostrom, Femke van Raamsdonk |
Comparing Combinatory Reduction Systems and Higher-order Rewrite Systems. |
HOA |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Rudolf Berghammer, Thomas F. Gritzner, Gunther Schmidt 0001 |
Prototyping Relational Specifications Using Higher-Order Objects. |
HOA |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | B. M. Hearn, Karl Meinke |
ATLAS: A Typed Language for Algebraic Specification. |
HOA |
1993 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #32 of 32 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license