BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Poland
1 × United Kingdom
3 × USA
Collaborated with:
B.t.Cate J.A.Väänänen B.Ó.Nualláin M.d.Rijke
Talks about:
logic (4) between (2) lindstrom (1) behaviour (1) fragment (1) theorem (1) program (1) process (1) predict (1) express (1)

Person: Johan van Benthem

DBLP DBLP: Benthem:Johan_van

Contributed to:

IJCAR 20102010
LICS 20072007
SAT 20012001
LICS 19981998
ILPS 19911991

Wrote 5 papers:

IJCAR-2010-Benthem #complexity #logic
Logic between Expressivity and Complexity (JvB), pp. 122–126.
LICS-2007-CateBV #first-order #logic #theorem
Lindstrom theorems for fragments of first-order logic (BtC, JvB, JAV), pp. 280–292.
SAT-2001-NuallainRB #behaviour #predict #satisfiability
Ensemble-based prediction of SAT search behaviour (BÓN, MdR, JvB), pp. 278–289.
LICS-1998-Benthem #logic #process
Process Operations in Extended Dynamic Logics (JvB), pp. 244–250.
ISLP-1991-Benthem #logic #programming #reasoning
Reasoning and Programming: Analogies between Logic and Computation (JvB), pp. 717–718.

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.