BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
model (8)
logic (5)
structur (4)
semant (4)
relat (4)

Stem kripk$ (all stems)

18 papers:

LICSLICS-2013-JungR #logic #semantics
Kripke Semantics for Modal Bilattice Logic (AJ, UR), pp. 438–447.
POPLPOPL-2012-HurDNV #bisimulation #logic
The marriage of bisimulations and Kripke logical relations (CKH, DD, GN, VV), pp. 59–72.
FoSSaCSFoSSaCS-2011-SchwinghammerBS #metric #recursion
A Step-Indexed Kripke Model of Hidden State via Recursive Properties on Recursively Defined Metric Spaces (JS, LB, KS), pp. 305–319.
ICFPICFP-2011-ThamsborgB #logic #program transformation
A kripke logical relation for effect-based program transformations (JT, LB), pp. 445–456.
POPLPOPL-2011-BirkedalRSSTY #modelling #recursion
Step-indexed kripke models over recursive worlds (LB, BR, JS, KS, JT, HY), pp. 119–132.
POPLPOPL-2011-HurD #assembly #logic #ml
A kripke logical relation between ML and assembly (CKH, DD), pp. 133–146.
LICSLICS-2009-BonsangueRS #algebra #polynomial
An Algebra for Kripke Polynomial Coalgebras (MMB, JJMMR, AS), pp. 49–58.
TLCATLCA-2009-AwodeyR #semantics #type system
Kripke Semantics for Martin-Löf’s Extensional Type Theory (SA, FR), pp. 249–263.
FoSSaCSFoSSaCS-2002-LaroussinieMS #model checking #on the
On Model Checking Durational Kripke Structures (FL, NM, PS), pp. 264–279.
VMCAIVMCAI-2002-Huth #model checking #using
Model Checking Modal Transition Systems Using Kripke Structures (MH), pp. 302–316.
CSLCSL-2001-AlechinaMPR #category theory #logic #semantics
Categorical and Kripke Semantics for Constructive S4 Modal Logic (NA, MM, VdP, ER), pp. 292–307.
ICALPICALP-2000-LuttgenM #modelling #semantics
Fully-Abstract Statecharts Semantics via Intuitionistic Kripke Models (GL, MM), pp. 163–174.
CSLCSL-1999-IshtiaqP #modelling #λ-calculus
Kripke Resource Models of a Dependently-Typed, Bunched λ-Calculus (SSI, DJP), pp. 235–249.
Equivalences for Fair Kripke Structures (AA, VS, FB, RKB, ALSV), pp. 364–375.
CAVCAV-1990-Josko #equivalence
A Context Dependent Equivalence Relation Between Kripke Structures (BJ), pp. 204–213.
A Kripke-like Model for Negation as Failure (JH), pp. 626–642.
LICSLICS-1987-MitchellM #modelling #λ-calculus
Kripke-Style models for typed λ calculus (JCM, EM), pp. 303–314.
CADECADE-1986-ThistlewaiteMM #automation #proving #theorem proving
The KRIPKE Automated Theorem Proving System (PBT, MAM, RKM), pp. 705–706.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.