BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Canada
1 × Spain
Collaborated with:
S.Tasharrofi N.Pelov M.Denecker
Talks about:
induct (2) proposit (1) calculus (1) satisfi (1) general (1) definit (1) context (1) system (1) situat (1) reduc (1)

Person: Eugenia Ternovska

DBLP DBLP: Ternovska:Eugenia

Contributed to:

KR 20142014
ICLP 20052005
KR 20042004

Wrote 3 papers:

KR-2014-TasharrofiT #multi
Generalized Multi-Context Systems (ST, ET).
ICLP-2005-PelovT #induction #satisfiability
Reducing Inductive Definitions to Propositional Satisfiability (NP, ET), pp. 221–234.
KR-2004-DeneckerT #calculus #induction
Inductive Situation Calculus (MD, ET), pp. 545–553.
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.