|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 31 publication records. Showing 31 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Abubakar Hassan, Ian Mackie, Shinya Sato |
Compilation of Interaction Nets.  |
TERMGRAPH@ETAPS  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Raiser, Thom W. Frühwirth |
Strong Joinability Analysis for Graph Transformation Systems in CHR. |
TERMGRAPH@ETAPS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Corradini 0001 |
Preface. |
TERMGRAPH@ETAPS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabio Gadducci |
A Note on an Old-Fashioned Algebra for (Disconnected) Graphs. |
TERMGRAPH@ETAPS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruben Duarte Viegas, Francisco Azevedo |
Lazy Constraint Imposing for Improving the Path Constraint. |
TERMGRAPH@ETAPS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Maribel Fernández, Ian Mackie, Shinya Sato, Matthew Walker |
Recursive Functions with Pattern Matching in Interaction Nets. |
TERMGRAPH@ETAPS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Bahareh Badban |
A Term Rewriting Technique for Decision Graphs. |
TERMGRAPH@ETAPS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Oana Andrei, Hélène Kirchner |
A Port Graph Calculus for Autonomic Computing and Invariant Verification. |
TERMGRAPH@ETAPS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Corradini 0001 (eds.) |
Proceedings of the Fifth International Workshop on Computing with Terms and Graphs, TERMGRAPH@ETAPS 2009, York, UK, March 22, 2009 |
TERMGRAPH@ETAPS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Ian Mackie, Detlef Plump (eds.) |
Proceedings of the Fourth International Workshop on Computing with Terms and Graphs, TERMGRAPH@ETAPS 2007, Braga, Portugal, March 31, 2007 |
TERMGRAPH@ETAPS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Davide Grohmann, Marino Miculan |
An Algebra for Directed Bigraphs. |
TERMGRAPH@ETAPS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Abubakar Hassan, Shinya Sato |
Interaction Nets With Nested Pattern Matching. |
TERMGRAPH@ETAPS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Christophe Fouqueré, Virgile Mogbil |
Rewritings for Polarized Multiplicative and Exponential Proof Structures. |
TERMGRAPH@ETAPS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Denis Béchet, Sylvain Lippi |
Universal Boolean Systems. |
TERMGRAPH@ETAPS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian Mackie, Detlef Plump |
Preface. |
TERMGRAPH@ETAPS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Denis Béchet, Sylvain Lippi |
Hard combinators. |
TERMGRAPH@ETAPS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillaume Bonfante, Yves Guiraud |
Intensional Properties of Polygraphs. |
TERMGRAPH@ETAPS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Emilie Balland, Paul Brauner |
Term-graph Rewriting in Tom Using Relative Positions. |
TERMGRAPH@ETAPS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Herman Geuvers, Iris Loeb |
Deduction Graphs with Universal Quantification. |
TERMGRAPH@ETAPS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Strecker |
Modeling and Verifying Graph Transformations in Proof Assistants. |
TERMGRAPH@ETAPS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | François-Régis Sinot |
Sub-lambda-calculi, Classified. |
TERMGRAPH@ETAPS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian Mackie (eds.) |
Proceedings of the Third International Workshop on Term Graph Rewriting, TERMGRAPH@ETAPS 2006, Vienna, Austria, 2006 |
TERMGRAPH@ETAPS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Dominique Duval, Rachid Echahed, Frédéric Prost |
Modeling Pointer Redirection as Cyclic Term-graph Rewriting. |
TERMGRAPH@ETAPS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Christophe Calvès, Maribel Fernández |
Implementing Nominal Unification. |
TERMGRAPH@ETAPS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | José Bacelar Almeida, Jorge Sousa Pinto, Miguel Vilaça |
A Local Graph-rewriting System for Deciding Equality in Sum-product Theories. |
TERMGRAPH@ETAPS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian Mackie |
Preface. |
TERMGRAPH@ETAPS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Damiano Mazza |
Observational Equivalence for the Interaction Combinators and Internal Separation. |
TERMGRAPH@ETAPS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Olaf Chitil, Yong Luo |
Structure and Properties of Traces for Functional Programs. |
TERMGRAPH@ETAPS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul D. Hovland, Boyana Norris, Michelle Mills Strout, Jean Utke |
Term Graphs for Computing Derivatives in Imperative Languages. |
TERMGRAPH@ETAPS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Baldan, Fabio Gadducci, Ugo Montanari |
Modelling Calculi with Name Mobility using Graphs with Equivalences. |
TERMGRAPH@ETAPS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergio Antoy, Daniel W. Brown, Su-Hui Chiang |
Lazy Context Cloning for Non-Deterministic Graph Rewriting. |
TERMGRAPH@ETAPS |
2006 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #31 of 31 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license