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 × Croatia
1 × Ireland
Collaborated with:
A.Avron A.Zamansky A.Tarlecki A.Blikle
Talks about:
logic (2) paraconsist (1) construct (1) softwar (1) sequent (1) modular (1) calculi (1) specif (1) valid (1) three (1)

Person: Beata Konikowska

DBLP DBLP: Konikowska:Beata

Contributed to:

LICS 20122012
VDM Europe 19881988

Wrote 2 papers:

LICS-2012-AvronKZ #calculus #composition #logic
Modular Construction of Cut-free Sequent Calculi for Paraconsistent Logics (AA, BK, AZ), pp. 85–94.
VDME-1988-KonikowskaTB #logic #specification #validation
A Three-Valued Logic for Software Specification and Validation (BK, AT, AB), pp. 218–242.

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.