募捐 9月15日2024 – 10月1日2024 关于筹款

Automata Logics And Infinite Games A Guide To Current...

Main
Automata Logics And Infinite Games A...

Automata Logics And Infinite Games A Guide To Current Research 2500 2002 3540003886 354s

Desconocido [Desconocido]

0 / 0

你有多喜欢这本书？

下载文件的质量如何？

下载该书，以评价其质量

下载文件的质量如何？

年:

2009

语言:

spanish

ISBN 10:

3540003886

ISBN 13:

9783540003885

文件:

EPUB, 509 KB

IPFS:

,

spanish, 2009

因版权方投诉，本书无法下载

Beware of he who would deny you access to information, for in his heart he dreams himself your master

— Pravin Lal

您可能会感兴趣

Krzysztof R. Apt, Erich Grädel — Lectures in Game Theory for Computer Scientists

Benthem, J. F. A. K. van, Löwe, Benedikt., Gabbay, Dov M. — Interactive Logic, Selected Papers from the 7th Augustus de Morgan Workshop

Flum, Jörg., Grädel, Erich., Wilke, Thomas. — 2_def.indd

Ummels, Michael. — Stochastic Multiplayer Games

Dominique Perrin, Jean Eric Pin — Infinite words: automata, semigroups, logic and games

Esparza, Javier, Blondin, Michael — Automata Theory: An Algorithmic Approach

A. Arnold, D. Niwinski — Rudiments of μ-Calculus

Apt K., Gradel E. (ed.) — Lectures in game theory for computer scientists

Stéphane Demri, Valentin Goranko, Martin Lange — Temporal Logics in Computer Science. Finite-State Systems

Saunders Mac Lane, Dirk Siefkes (auth.), Saunders Mac Lane, Dirk Siefkes (eds.) — The Collected Works of J. Richard Büchi

Dominique Perrin, Jean-Eric Pin — Infinite words. Automata, Semigroups, Logic and Games

Frank Drewes — Developments in Language Theory: 27th International Conference, DLT 2023, Umeå, Sweden, June 12–16, 2023, Proceedings

Homenda, Wladyslaw, Pedrycz, Witold — Automata Theory and Formal Languages (De Gruyter Textbook)

Władysław Homenda, Witold Pedrycz — Automata Theory and Formal Languages (A De Gruyter Textbook)

Author [Author] — Title

Paul-André Melliès (auth.), Zoltán Ésik (eds.) — Computer Science Logic: 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. Proceedings

Faron Moller, Graham Birtwistle (eds.) — Logics for Concurrency: Structure versus Automata

Igor Walukiewicz (auth.), Roberto Amadio (eds.) — Foundations of Software Science and Computational Structures: 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedi

Wolfgang Thomas (auth.), Luca de Alfaro (eds.) — Foundations of Software Science and Computational Structures: 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Margaret Archibald et al. (eds.) — Infinity in logic and computation: Selected papers Cape Town, 2007

Janusz Brzozowski (auth.), Adrian-Horia Dediu, Henning Fernau, Carlos Martín-Vide (eds.) — Language and Automata Theory and Applications: 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010. Proceedings

Frank S. de Boer, Mohammad Mahdi Jaghoori (auth.), Paul Gastin, François Laroussinie (eds.) — CONCUR 2010 - Concurrency Theory: 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings

Frank S. de Boer, Mohammad Mahdi Jaghoori (auth.), Paul Gastin, François Laroussinie (eds.) — CONCUR 2010 - Concurrency Theory: 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings

Shuyuan Zhang, Sharad Malik, Rick McGeer (auth.), Supratik Chakraborty, Madhavan Mukund (eds.) — Automated Technology for Verification and Analysis: 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings

Anca Muscholl (eds.) — Foundations of Software Science and Computation Structures: 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Laura Wirth — Weighted Automata, Formal Power Series and Weighted Logic

Erzsébet Csuhaj-Varjú, Martin Dietzfelbinger, Zoltán Ésik (eds.) — Mathematical Foundations of Computer Science 2014: 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, Part I

Johan van Benthem, Benedikt Lowe, Dov M. Gabbay — Interactive Logic: Selected Papers from the 7th Augustus de Morgan Workshop, London

Jorg Flum, Erich Gradel, Thomas Wilke — Logic and Automata: History and Perspectives

Benthem, Johan van; Gabbay, Dov. M.; Löwe, Benedikt (eds.) — Interactive Logic: Selected Papers from the 7th Augustus de Morgan Workshop, London

— Logic and Automata

Facundo Matias Carreiro — Fragments of Fixpoint Logics. Automata and Expressiveness [PhD Thesis]

Michael Ummels — Stochastic Multiplayer Games: Theory and Algorithms (Pallas Proefschriften)

关键词