|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 8 occurrences of 7 keywords
|
|
|
|
|
Results
Found 5 publication records. Showing 5 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 42 | Guido Sassi, Stefano Pavarelli, Carla Divieto, Mariapaola Sassi |
Uncertainty in cell confluency measurements.  |
MeMeA  |
2015 |
DBLP DOI BibTeX RDF |
|
| 42 | Koji Nakazawa |
Confluency and strong normalizability of call-by-value lambda-µ-calculus. |
Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 33 | Daisuke Kimura, Yoshihiko Kakutani |
Classical Natural Deduction for S4 Modal Logic. |
APLAS |
2009 |
DBLP DOI BibTeX RDF |
|
| 33 | Pierre-Louis Curien, Thérèse Hardin, Jean-Jacques Lévy |
Confluence Properties of Weak and Strong Calculi of Explicit Substitutions. |
J. ACM |
1996 |
DBLP DOI BibTeX RDF |
confluency, explicit substitutions |
| 33 | Sergei G. Vorobyov |
A structural completeness theorem for a class of conditional rewrite rule systems. |
Conference on Computer Logic |
1988 |
DBLP DOI BibTeX RDF |
conditional rewrite rules, case splitting, finite termination, reduction, inference rules, confluency, proof search, decision algorithms, strong completeness |
Displaying result #1 - #5 of 5 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license