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 × Czech Republic
1 × Spain
1 × Switzerland
1 × The Netherlands
1 × United Kingdom
Collaborated with:
A.M.Rabinovich M.Jerrum A.Avron
Talks about:
databas (2) queri (2) logic (2) decid (2) framework (1) function (1) equivanl (1) quantit (1) process (1) problem (1)

Person: Yoram Hirshfeld

DBLP DBLP: Hirshfeld:Yoram

Contributed to:

CSL 19991999
ICALP 19991999
CSL 19931993
CSL 19911991
LICS 19911991

Wrote 6 papers:

CSL-1999-HirshfeldR #logic
Quantitative Temporal Logic (YH, AMR), pp. 172–187.
ICALP-1999-HirshfeldJ #algebra #bisimulation #decidability #process
Bisimulation Equivanlence Is Decidable for Normed Process Algebra (YH, MJ), pp. 412–421.
ICALP-1999-HirshfeldR #decidability #framework #logic
A Framework for Decidable Metrical Logics (YH, AMR), pp. 422–432.
CSL-1993-Hishfeld #equivalence #petri net #problem
Petri Nets and the Equivalence Problem (YH), pp. 165–174.
CSL-1991-Hirshfeld #database #query #relational
Safe Queries in Relational Databases with Functions (YH), pp. 173–183.
LICS-1991-AvronH #database #first-order #on the #query
On First Order Database Query Languages (AA, YH), pp. 226–231.

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.