|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2 occurrences of 2 keywords
|
|
|
|
|
Results
Found 20 publication records. Showing 20 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Marc Bezem, Clemens Grabmayer, Michal Walicki |
Expressive power of digraph solvability.  |
Ann. Pure Appl. Logic  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Clemens Grabmayer, Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop, Lawrence S. Moss |
Automatic Sequences and Zip-Specifications |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Jörg Endrullis, Clemens Grabmayer, Jan Willem Klop, Vincent van Oostrom |
On equal μ-terms. |
Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Rochel, Clemens Grabmayer |
Repetitive Reduction Patterns in Lambda Calculus with letrec (Work in Progress) |
TERMGRAPH |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Ariya Isihara, Jan Willem Klop |
Productivity of stream definitions. |
Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Jan Willem Klop, Vincent van Oostrom |
Unique Normal Forms in Infinitary Weakly Orthogonal Rewriting. |
RTA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Jan Willem Klop |
Unique Normal Forms in Infinitary Weakly Orthogonal Term Rewriting |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Clemens Grabmayer |
From Abstract Rewriting Systems to Abstract Proof Systems |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks |
Complexity of Fractran and Productivity |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks |
Complexity of Fractran and Productivity. |
CADE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks |
Data-Oblivious Stream Productivity |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks |
Data-Oblivious Stream Productivity. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Jan Willem Klop, Roel C. de Vrijer |
Proving Infinitary Normalization. |
TYPES |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Clemens Grabmayer |
A duality between proof systems for cyclic term graphs. |
Mathematical Structures in Computer Science |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Clemens Grabmayer |
A Duality in Proof Systems for Recursive Type Equality and for Bisimulation Equivalence on Cyclic Term Graphs. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jos C. M. Baeten, Flavio Corradini, Clemens Grabmayer |
A characterization of regular expressions under bisimulation. |
J. ACM |
2007 |
DBLP DOI BibTeX RDF |
regular expressions, Bisimulation equivalence |
| 1 | Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Ariya Isihara, Jan Willem Klop |
Productivity of Stream Definitions. |
FCT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Clemens Grabmayer, Jan Willem Klop, Bas Luttik |
Reflections on a Geometry of Processes. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Clemens Grabmayer, Jan Willem Klop, Bas Luttik |
Some Remarks on Definability of Process Graphs. |
CONCUR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Clemens Grabmayer |
Using Proofs by Coinduction to Find "Traditional" Proofs. |
CALCO |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #20 of 20 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")