Results 201 to 210 of about 24,570,426 (223)
Some of the next articles are maybe not open access.
Kripke Open Bisimulation - A Marriage of Game Semantics and Operational Techniques
Asian Symposium on Programming Languages and Systems, 2015Guilhem Jaber, Nicolas Tabareau
semanticscholar +1 more source
Kripke submodels and universal sentences
Mathematical Logic Quarterly, 2007Jonathan Fleischmann, Wim Ruitenburg
exaly
Every Rooted Narrow Tree Kripke Model of HA is Locally PA
Mathematical Logic Quarterly, 2002Mohammad Ardeshir
exaly
Modeling Product Lines with Kripke Structures and Modal Logic
International Colloquium on Theoretical Aspects of Computing, 2015Z. Diskin +3 more
semanticscholar +1 more source
A new model for model checking: cycle-weighted Kripke structure
Frontiers of Computer Science, 2010Jiaqi Zhu, Chunxiang Xu, Wang Hanpin
exaly
Quantitative Analysis of Lattice-valued Kripke Structures
Fundamenta Informaticae, 2014Haiyu Pan +3 more
semanticscholar +1 more source