( en | de | ru )

 

Disambiguation of "Hirshfeld, Yoram"

Author of the publication

copydeleteadd this publication to your clipboard
A Polynomial Algorithm for Deciding Bisimilarity of Normed Context-Free Processes.

, , and . Theor. Comput. Sci., 158 (1&2): 143-159 (1996)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Yoram Haddad

Yoram Padan

Yoram Cohen

Yoram Rosenbach

Yoram Baram

 

Other publications of authors with the same name

Quantitative Temporal Logic., and . CSL, volume 1683 of Lecture Notes in Computer Science, page 172-187. Springer, (1999)Deterministic concurrent systems.. Fundam. Informaticae, 15 (1): 13-36 (1991)Queries evaluation, relative safety, and domain independence in first-order database languages with functions., and . Meth. of Logic in CS, 1 (3): 261-277 (1994)Decidable metric logics., and . Inf. Comput., 206 (12): 1425-1442 (2008)Fields, Meadows and Abstract Data Types., , and . Pillars of Computer Science, volume 4800 of Lecture Notes in Computer Science, page 166-178. Springer, (2008)Decidability Results in Automata and Process Theory., and . Banff Higher Order Workshop, volume 1043 of Lecture Notes in Computer Science, page 102-148. Springer, (1995)An Expressive Temporal Logic for Real Time., and . MFCS, volume 4162 of Lecture Notes in Computer Science, page 492-504. Springer, (2006)Abstraction classes in software design., , and . IEE Proc. Softw., 153 (4): 163-182 (2006)Safe Queries in Relational Databases with Functions.. CSL, volume 626 of Lecture Notes in Computer Science, page 173-183. Springer, (1991)Logics for Real Time: Decidability and Complexity., and . Fundam. Informaticae, 62 (1): 1-28 (2004)