|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TYPES ![In: Types for Proofs and Programs, International Conference, TYPES 2008, Torino, Italy, March 26-29, 2008, Revised Selected Papers, pp. 220-236, 2008, Springer, 978-3-642-02443-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.00704, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
37 | Sergey Goncharov 0001 |
Representing Guardedness in Call-By-Value. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 8th International Conference on Formal Structures for Computation and Deduction, FSCD 2023, July 3-6, 2023, Rome, Italy, pp. 34:1-34:21, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-277-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
37 | Shauli Ravfogel, Yoav Goldberg, Ryan Cotterell |
Linear Guardedness and its Implications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACL (1) ![In: Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), ACL 2023, Toronto, Canada, July 9-14, 2023., pp. 9413-9431, 2023, Association for Computational Linguistics, 978-1-959429-72-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
37 | Shauli Ravfogel, Yoav Goldberg, Ryan Cotterell |
Linear Guardedness and its Implications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2210.10012, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
37 | Markus Krötzsch, Sebastian Rudolph |
Extending Decidable Existential Rules by Joining Acyclicity and Guardedness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011, pp. 963-968, 2011, IJCAI/AAAI, 978-1-57735-516-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
36 | Raymond R. Devillers, Maciej Koutny |
Recursive Nets in the Box Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 1st International Conference on Application of Concurrency to System Design (ACSD '98), 23-26 March 1998, Fukushima, Japan, pp. 239-249, 1998, IEEE Computer Society, 0-8186-8350-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TYPES ![In: Types for Proofs and Programs, International Conference, TYPES 2008, Torino, Italy, March 26-29, 2008, Revised Selected Papers, pp. 272-288, 2008, Springer, 978-3-642-02443-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Coiteration, Bisimulation, Coalgebra, Coq, Coinduction |
28 | Ed Brinksma |
On the Uniqueness of Fixpoints Modulo Observation Congruence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '92, Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992, Proceedings, pp. 47-61, 1992, Springer, 3-540-55822-5. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #9 of 9 (100 per page; Change: )
|
|