Travelled to:
1 × United Kingdom
Collaborated with:
J.A.Makowsky
Talks about:
quantifi
(1)
oracl
(1)
Person:
Y. B. Pnueli
DBLP: Pnueli:Y=_B=
Contributed to:
1993
Wrote 1 papers:
CSL-1993-MakowskyP
#quantifier
Oracles and Quantifiers (
JAM
,
YBP
), pp. 189–222.
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
.