|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 9 occurrences of 8 keywords
|
|
|
Results
Found 9 publication records. Showing 9 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
56 | Yves Bertot, Ekaterina Komendantskaya |
Using Structural Recursion for Corecursion. |
TYPES |
2008 |
DBLP DOI BibTeX RDF |
Constructive Type Theory, Structural Recursion, Coinductive types, Guarded Corecursion, Coq |
37 | Sergey Goncharov 0001 |
Representing Guardedness in Call-by-Value and Guarded Parametrized Monads. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
37 | Sergey Goncharov 0001 |
Representing Guardedness in Call-By-Value. |
FSCD |
2023 |
DBLP DOI BibTeX RDF |
|
37 | Shauli Ravfogel, Yoav Goldberg, Ryan Cotterell |
Linear Guardedness and its Implications. |
ACL (1) |
2023 |
DBLP DOI BibTeX RDF |
|
37 | Shauli Ravfogel, Yoav Goldberg, Ryan Cotterell |
Linear Guardedness and its Implications. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
37 | Markus Krötzsch, Sebastian Rudolph |
Extending Decidable Existential Rules by Joining Acyclicity and Guardedness. |
IJCAI |
2011 |
DBLP DOI BibTeX RDF |
|
36 | Raymond R. Devillers, Maciej Koutny |
Recursive Nets in the Box Algebra. |
ACSD |
1998 |
DBLP DOI BibTeX RDF |
box algebra, limit construction, guardedness, Petri nets, refinement, recursion, fixpoint |
28 | Milad Niqui |
Coalgebraic Reasoning in Coq: Bisimulation and the lambda-Coiteration Scheme. |
TYPES |
2008 |
DBLP DOI BibTeX RDF |
Coiteration, Bisimulation, Coalgebra, Coq, Coinduction |
28 | Ed Brinksma |
On the Uniqueness of Fixpoints Modulo Observation Congruence. |
CONCUR |
1992 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #9 of 9 (100 per page; Change: )
|
|