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 × France
4 × USA
Collaborated with:
G.Grahne A.O.Mendelzon P.C.Kanellakis G.M.Kuper R.Chen P.Kanjamala Y.Li Y.Liu Y.Wang
Talks about:
constraint (3) databas (2) knowledgebas (1) transform (1) approach (1) softwar (1) languag (1) between (1) theori (1) system (1)

Person: Peter Z. Revesz

DBLP DBLP: Revesz:Peter_Z=

Contributed to:

VMCAI 20072007
SIGMOD 20002000
PODS 19931993
PODS 19921992
PODS 19901990

Wrote 5 papers:

VMCAI-2007-Revesz #approach #constraints #database #verification
The Constraint Database Approach to Software Verification (PZR), pp. 329–345.
SIGMOD-2000-ReveszCKLLW #constraints #database
The MLPQ/GIS Constraint Database System (PZR, RC, PK, YL, YL, YW), p. 601.
PODS-1993-Revesz #on the #semantics
On the Semantics of Theory Change: Arbitration between Old and New Information (PZR), pp. 71–82.
PODS-1992-GrahneMR #knowledge base
Knowledgebase Transformations (GG, AOM, PZR), pp. 246–260.
PODS-1990-KanellakisKR #constraints #query
Constraint Query Languages (PCK, GMK, PZR), pp. 299–313.

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.