|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7 occurrences of 7 keywords
|
|
|
|
|
Results
Found 8 publication records. Showing 8 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 74 | Jan J. M. M. Rutten |
Nonwellfounded Sets and Programming Language Semantics.  |
MFPS  |
1991 |
DBLP DOI BibTeX RDF |
transition system specification, nonwellfounded sets, anti-foundation-axiom, interpretation, bisimulation, compositionality, labelled transition system, Structured operational semantics |
| 35 | Olivier Esser |
Forcing with the Anti-Foundation axiom. |
Math. Log. Q. |
2012 |
DBLP DOI BibTeX RDF |
|
| 35 | Sato Kentaro |
Forcing under Anti-Foundation Axiom: An expression of the stalks. |
Math. Log. Q. |
2006 |
DBLP DOI BibTeX RDF |
|
| 35 | Michael Rathjen |
Kripke-Platek Set Theory and the Anti-Foundation Axiom. |
Math. Log. Q. |
2001 |
DBLP DOI BibTeX RDF |
|
| 35 | Vladimir Yu. Sazonov |
A Bounded Set Theory with Anti-Foundation Axiom and Inductive Definability. |
CSL |
1994 |
DBLP DOI BibTeX RDF |
|
| 22 | Ikumi Horie, Kazunori Yamaguchi, Kenji Kashiwabara |
Pattern detection from web using AFA set theory. |
WIDM |
2007 |
DBLP DOI BibTeX RDF |
AFA, common substructure, non-well-founded set theory, link analysis, web graph |
| 22 | Lawrence S. Moss |
Uniform Functors on Sets. |
Essays Dedicated to Joseph A. Goguen |
2006 |
DBLP DOI BibTeX RDF |
|
| 22 | Tim Fernando |
A Primitive Recursive Set Theory and AFA: On the Logical Complexity of the Largest Bisimulation. |
CSL |
1991 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #8 of 8 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license