Zobrazeno 1 - 10
of 335
pro vyhledávání: '"H. Ehrig"'
Autor:
Masahito Hasegawa, Pierre-Louis Curien, P. Selinger, Glynn Winskel, H. Ehrig, Jean-Yves Girard, M. Barr, Abbas Edalat, Benjamin C. Pierce, T. Ehrhard, Giuseppe Longo, T. Paul, R. A. G. Seely, R. De Nicola, Catuscia Palamidessi, J. Tiuryn, S. Lack, Michael W. Mislove, Robin Milner, Andre Scedrov, Gordon Plotkin, Ugo Montanari, Andrew M. Pitts, Eugenio Moggi, Martín Hötzel Escardó, Alex Simpson, G. Berry, Philip J. Scott, Thierry Coquand, Furio Honsell, Dana Scott, M. Kanovitch, E. Asarin, Martin Hyland
Publikováno v:
Mathematical Structures in Computer Science. 19:1-4
Have you ever seen the Citation Indexes (CIs) for the year 1600? At that time, a very active community was working on the reconstruction of planetary movements by means of epicycles. In principle, any ellipse around the Sun may be approximated by suf
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a288b0206c08fcc0c3da50fca2bfaf6f
https://doi.org/10.1017/s0960129508007391
https://doi.org/10.1017/s0960129508007391
Autor:
H Ehrig
Publikováno v:
Electronic Notes in Theoretical Computer Science. 51:1-12
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7022b8d4658e688d10fb48e333698e06
https://doi.org/10.1016/s1571-0661(04)00197-5
https://doi.org/10.1016/s1571-0661(04)00197-5
Publikováno v:
IFAC Proceedings Volumes. 33:125-132
High-level Petri nets have been used with great success as formal models for train control systems. Based on the experience of the European Train Control System in Braunschweig and our own in the case study of a railway crossing we have analysed the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2880dd08b25472afebfde6bfabe9d14e
https://doi.org/10.1016/s1474-6670(17)38135-1
https://doi.org/10.1016/s1474-6670(17)38135-1
Publikováno v:
Handbook of Graph Grammars and Computing by Graph Transformation. :i-xix
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0b5fd0967397181bf1128f76fea10037
https://doi.org/10.1142/9789812815149_fmatter
https://doi.org/10.1142/9789812815149_fmatter
Publikováno v:
Handbook of Graph Grammars and Computing by Graph Transformation. :691-698
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fb5a31ac99ff8bdcbdaf7d3b23c5a78d
https://doi.org/10.1142/9789812815149_bmatter
https://doi.org/10.1142/9789812815149_bmatter
Autor:
Ellen H. Ehrig
Publikováno v:
Reference Services Review. 21:65-70
Surveying is one of the world's oldest professions. The Egyptians used a system of ropes and knots to relocate boundaries along the Nile after periodic flooding; they also used the plumb bob. The Babylonians are credited with dividing the circle into
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8b3e872ee216d8bab910bd52e2a4be82
https://doi.org/10.1108/eb049177
https://doi.org/10.1108/eb049177
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783642159275
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6928f75d4e79cdee90cf18ac11a9c5e7
https://doi.org/10.1007/978-3-642-15928-2
https://doi.org/10.1007/978-3-642-15928-2
Publikováno v:
[1988] Proceedings. Workshop on the Future Trends of Distributed Computing Systems in the 1990s.
A specification concept for a distributed modular system is introduced. Concurrently executable modules and their interconnections are used as the basis for a computational model for distributed systems that allows the representation of distributed s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2fb678ca3bc43f73374d255396050afb
https://doi.org/10.1109/ftdcs.1988.26699
https://doi.org/10.1109/ftdcs.1988.26699
Publikováno v:
Mathematisch-strukturelle Grundlagen der Informatik ISBN: 9783540419235
Mathematisch-strukturelle Grundlagen der Informatik ISBN: 9783540638650
Mathematisch-strukturelle Grundlagen der Informatik ISBN: 9783540638650
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::888f2b3673affc2ee616d64a586ffc22
https://doi.org/10.1007/978-3-642-56792-6_18
https://doi.org/10.1007/978-3-642-56792-6_18