المؤلفون: Bergstra, J. A., Hirshfeld, Y., Tucker, J. V.

مصطلحات موضوعية: Mathematics - Rings and Algebras

URL الوصول: http://arxiv.org/abs/0901.0823

المؤلفون: Bergstra, J. A., Hirshfeld, Y., Tucker, J. V.

مصطلحات موضوعية: Mathematics - Rings and Algebras

URL الوصول: http://arxiv.org/abs/0901.0803

المؤلفون: Bergstra, J.A., Hirshfeld, Y., Tucker, J.V.

المصدر: Theoretical Computer Science ; volume 410, issue 12-13, page 1261-1271 ; ISSN 0304-3975

الاتاحة: http://dx.doi.org/10.1016/j.tcs.2008.12.015
https://api.elsevier.com/content/article/PII:S0304397508008967?httpAccept=text/xml
https://api.elsevier.com/content/article/PII:S0304397508008967?httpAccept=text/plain

المؤلفون: Christensen, S., Hirshfeld, Y., Moller, F.

مصطلحات موضوعية: Articles

وصف الملف: text/html

Relation: http://comjnl.oxfordjournals.org/cgi/content/short/37/4/233; http://dx.doi.org/10.1093/comjnl/37.4.233

الاتاحة: http://comjnl.oxfordjournals.org/cgi/content/short/37/4/233
https://doi.org/10.1093/comjnl/37.4.233

المؤلفون: הירשפלד, יזהר, Hirshfeld, Y.

المصدر: Qadmoniot: A Journal for the Antiquities of Eretz-Israel and Bible Lands / קדמוניות: כתב-עת לעתיקות ארץ-ישראל וארצות המקרא, 1976 Jan 01. ט2/3 (34/35), 85-88.

URL الوصول: https://www.jstor.org/stable/23671765

المؤلفون: Hirshfeld, Y, Moller, F

المصدر: THEORETICAL COMPUTER SCIENCE. 256(1-2):3-21

مصطلحات موضوعية: automata, bisimulation, concurrency, Petri nets, rewrite systems, CONTEXT-FREE PROCESSES, BISIMULATION EQUIVALENCE, DECIDING BISIMILARITY, FREE LANGUAGES, FAST ALGORITHM, DECIDABILITY

وصف الملف: print

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-36508

المؤلفون: Christensen, S., Hirshfeld, Y., Moller, F.

المصدر: [1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science ; page 386-396

الاتاحة: http://dx.doi.org/10.1109/lics.1993.287569
http://xplorestaging.ieee.org/ielx2/899/7167/00287569.pdf?arnumber=287569

المؤلفون: Hirshfeld, Y., Jerrum, M., Moller, F.

المصدر: Proceedings 35th Annual Symposium on Foundations of Computer Science ; page 623-631

الاتاحة: http://dx.doi.org/10.1109/sfcs.1994.365729
http://xplorestaging.ieee.org/ielx2/2955/8384/00365729.pdf?arnumber=365729

المؤلفون: HIRSHFELD, Y

المصدر: Electronic Notes in Theoretical Computer Science ; volume 5, page 1-12 ; ISSN 1571-0661

الاتاحة: http://dx.doi.org/10.1016/s1571-0661(05)01228-4
https://api.elsevier.com/content/article/PII:S1571066105012284?httpAccept=text/xml
https://api.elsevier.com/content/article/PII:S1571066105012284?httpAccept=text/plain

المؤلفون: Hirshfeld, Y., Rabinovich, A.

مصطلحات موضوعية: Monadic Logic of Order, temporal logic, Quantitative Monadic Logic of Order, QMLO, strong normalisation

URL الوصول: http://yadda.icm.edu.pl/baztech/element/bwmeta1.element.baztech-article-BUS2-0005-0072

المؤلفون: Eden, A. H.^1,2, Hirshfeld, Y.³, Kazman, R.^4,5

المصدر: IEE Proceedings -- Software. Aug2006, Vol. 153 Issue 4, p163-182. 20p. 28 Diagrams.

مصطلحات موضوعية: *COMPUTER software, *OBJECT-oriented methods (Computer science), *COMPUTER programming, SOFTWARE architecture, MATHEMATICAL logic, COMPUTER logic

المؤلفون: Hirshfeld, Y., Jerrum, M., Moller, F.

المصدر: Proceedings 35th Annual Symposium on Foundations of Computer Science; 1994, p623-631, 9p

المؤلفون: Christensen, S., Hirshfeld, Y., Moller, F.

المصدر: 1993 Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science; 1993, p386-396, 11p

المؤلفون: Hirshfeld, Y., Jerrum, M., Moller, F.

المصدر: Theoretical Computer Science; 1996, Vol. 158 Issue: 1 p143-160, 18p