BibSonomy :: author  ::

bookmarks

publications

(31)

• The Judean desert monasteries in the Byzantine period
  Yizhar Hirshfeld (1992)
  to HeiligesLand Judäa Mönchtum by avs on 2008-07-19 23:11:16
  | BibTeX  
• On the star height of unary regular behaviours.
  Yoram Hirshfeld and Faron Moller Proof, Language, and Interaction 497-510 (2000)
  to dblp by dblp on 2008-06-23 00:00:00
  | URL | BibTeX  
• Expressiveness of Metric modalities for continuous time.
  Yoram Hirshfeld and Alexander Rabinovich Logical Methods in Computer Science 3 (2007)
  to dblp by dblp on 2008-04-07 00:00:00
  | URL | BibTeX  
• Fields, Meadows and Abstract Data Types.
  Jan A. Bergstra and Yoram Hirshfeld and John Tucker Pillars of Computer Science 166-178 (2008)
  to dblp by dblp on 2008-02-12 00:00:00
  | URL | BibTeX  
• Expressiveness of Metric modalities for continuous time
  Yoram Hirshfeld and Alexander Rabinovich CoRR abs/cs/0611119 (2006)
  to dblp by dblp and 1 other person on 2008-01-02 00:00:00
  | URL | BibTeX  
• An Expressive Temporal Logic for Real Time.
  Yoram Hirshfeld and Alexander Moshe Rabinovich MFCS 492-504 (2006)
  to dblp by dblp on 2006-11-22 00:00:00
  | URL | BibTeX  
• Expressiveness of Metric Modalities for Continuous Time.
  Yoram Hirshfeld and Alexander Moshe Rabinovich CSR 211-220 (2006)
  to dblp by dblp and 1 other person on 2006-05-02 00:00:00
  | URL | BibTeX  
• Decomposability, Decidability and Axiomatisability for Bisimulation Equivalence on Basic Parallel Processes
  Søren Christensen and Yoram Hirshfeld and Faron Moller LICS 386-396 (1993)
  to dblp by dblp on 2006-04-25 00:00:00
  | URL | BibTeX  
• On First Order Database Query Languages
  Arnon Avron and Yoram Hirshfeld LICS 226-231 (1991)
  to dblp by dblp on 2006-04-25 00:00:00
  | URL | BibTeX  
• A Polynomial-time Algorithm for Deciding Equivalence of Normed Context-free Processes
  Yoram Hirshfeld and Mark Jerrum and Faron Moller FOCS 623-631 (1994)
  to dblp by dblp on 2006-04-25 00:00:00
  | URL | BibTeX