Till sidans topp

Sidansvarig: Webbredaktion
Sidan uppdaterades: 2012-09-11 15:12

Tipsa en vän
Utskriftsversion

An infinitary treatment o… - Göteborgs universitet Till startsida
Webbkarta
Till innehåll Läs mer om hur kakor används på gu.se

Kontaktformulär








 


OBS! Vill du ha svar, ange e-post eller telefonnummer!




An infinitary treatment of full mu-calculus

Paper i proceeding
Författare Bahareh Afshari
Gerhard Jäger
Graham E. Leigh
Publicerad i Lecture Notes in Computer Science 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings / editors: Iemhoff, Rosalie, Moortgat, Michael, de Queiroz, Ruy
ISBN 978-3-662-59532-9
Förlag Springer
Förlagsort Berlin, Heidelberg
Publiceringsår 2019
Publicerad vid Institutionen för data- och informationsteknik (GU)
Institutionen för filosofi, lingvistik och vetenskapsteori
Språk en
Länkar https://doi.org/10.1007/978-3-662-5...
Ämneskategorier Matematisk logik, Teoretisk datalogi
Sidansvarig: Webbredaktion|Sidan uppdaterades: 2012-09-11
Dela:

På Göteborgs universitet använder vi kakor (cookies) för att webbplatsen ska fungera på ett bra sätt för dig. Genom att surfa vidare godkänner du att vi använder kakor.  Vad är kakor?

Denna text är utskriven från följande webbsida:
http://www.gu.se/forskning/publikation/?tipFriend=true&tipUrl=http%3A%2F%2Fwww.gu.se%2Fforskning%2Fpublikation%2F%3Fprint%3Dtrue%26feedbackForm%3Dtrue%26returnAddress%3Dhttp%253A%252F%252Fwww.gu.se%252Fforskning%252Fpublikation%252F%253FsiteMap%253Dtrue%2526publicationId%253D286646%26recipientName%3DWebbredaktion%26encodedEmail%3DYW5uaWthLndhbGxAZ3Uuc2U%26publicationId%3D286646&feedbackForm=true&encodedEmail=YW5uaWthLndhbGxAZ3Uuc2U&publicationId=286646
Utskriftsdatum: 2020-07-13