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 × Latvia
Collaborated with:
∅
Talks about:
procedur (1) special (1) recurs (1) logic (1) deriv (1) like (1) hoar (1)

Person: Aida Pliuskeviciene

DBLP DBLP: Pliuskeviciene:Aida

Contributed to:

SEKE 19941994

Wrote 1 papers:

SEKE-1994-Pliuskeviciene #hoare #logic #recursion
Specialization of derivations in Hoare-like logic with recursive procedures (AP), pp. 124–130.
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.