Undecidability over Continuous Time
2006; Oxford University Press; Volume: 14; Issue: 5 Linguagem: Inglês
10.1093/jigpal/jzl004
ISSN1368-9894
Autores Tópico(s)Logic, programming, and type systems
ResumoJournal Article Undecidability over Continuous Time Get access Jerzy Mycka, Jerzy Mycka Institute of Mathematics, University of Maria Curie-Sklodowska, Lublin, Poland. E-mail: Jerzy.Mycka@umcs.lublin.pl Search for other works by this author on: Oxford Academic Google Scholar José Félix Costa José Félix Costa Department of Mathematics, I.S.T., Universidade Técnica de Lisboa, Lisboa, Portugal. E-mail: fgc@math.ist.utl.pt Search for other works by this author on: Oxford Academic Google Scholar Logic Journal of the IGPL, Volume 14, Issue 5, October 2006, Pages 649–658, https://doi.org/10.1093/jigpal/jzl004 Published: 01 October 2006 Article history Received: 04 October 2004 Published: 01 October 2006
Referência(s)