|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MeMeA ![In: 2015 IEEE International Symposium on Medical Measurements and Applications, MeMeA 2015, Torino, Italy, May 7-9, 2015, pp. 627-632, 2015, IEEE, 978-1-4799-6477-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
42 | Koji Nakazawa |
Confluency and strong normalizability of call-by-value lambda-µ-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 290(1), pp. 429-463, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
33 | Daisuke Kimura, Yoshihiko Kakutani |
Classical Natural Deduction for S4 Modal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems, 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009. Proceedings, pp. 243-258, 2009, Springer, 978-3-642-10671-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 43(2), pp. 362-397, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
confluency, explicit substitutions |
33 | Sergei G. Vorobyov |
A structural completeness theorem for a class of conditional rewrite rule systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conference on Computer Logic ![In: COLOG-88, International Conference on Computer Logic, Tallinn, USSR, December 1988, Proceedings, pp. 313-326, 1988, Springer, 3-540-52335-9. The full citation details ...](Pics/full.jpeg) |
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: )
|
|