Тема, жанр, tags: Mathematical Logic and Formal Languages,Logics and Meanings of Programs,Computation by Abstract Devi » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Mathematical Logic and Formal Languages,Logics and Meanings of Programs,Computation by Abstract Devi

book Descriptive Set Theoretic Methods in Automata Theory: Decidability and Topological Complexity

Descriptive Set Theoretic Methods in Automata Theory: Decidability and Topological Complexity

pdf

Author: Michał Skrzypczak (auth.)
Language: English
Year: 2016

00

27.01.2024

1

0

book Descriptional Complexity of Formal Systems: 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings

Descriptional Complexity of Formal Systems: 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings

pdf

Author: Cezar Câmpeanu Florin Manea Jeffrey Shallit (eds.)
Language: English
Year: 2016

00

27.01.2024

0

0

book Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings

Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings

pdf

Author: Michael Butler Klaus-Dieter Schewe Atif Mashkoor Miklos Biro (eds.)
Language: English
Year: 2016

00

27.01.2024

0

0

book Abstract State Machines, Alloy, B, TLA, VDM, and Z: 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings

Abstract State Machines, Alloy, B, TLA, VDM, and Z: 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings

pdf

Author: Yamine Ait Ameur Klaus-Dieter Schewe (eds.)
Language: English
Year: 2014

00

27.01.2024

0

0

book ABZ 2014: The Landing Gear Case Study: Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014. Proceedings

ABZ 2014: The Landing Gear Case Study: Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014. Proceedings

pdf

Author: Frédéric Boniol Virginie Wiels Yamine Ait Ameur Klaus-Dieter Schewe (eds.)
Language: English
Year: 2014

00

27.01.2024

0

0

book Foundations of Software Science and Computation Structures: Second International Conference, FOSSACS’99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’99 Amsterdam, The Netherlands,March 22–28, 1999 Proceedings

Foundations of Software Science and Computation Structures: Second International Conference, FOSSACS’99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’99 Amsterdam, The Netherlands,March 22–28, 1999 Proceedings

pdf

Author: Martín Abadi (auth.) Wolfgang Thomas (eds.)
Language: English
Year: 1999

00

27.01.2024

0

0

book Foundations of Software Science and Computation Structures: 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings

Foundations of Software Science and Computation Structures: 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings

pdf

Author: Gordon Plotkin John Power (auth.) Furio Honsell Marino Miculan (eds.)
Language: English
Year: 2001

00

27.01.2024

0

0

book Foundations of Software Science and Computational Structures: 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

Foundations of Software Science and Computational Structures: 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

pdf

Author: Gian Luigi Ferrari Ugo Montanari Emilio Tuosto (auth.) Vladimiro Sassone (eds.)
Language: English
Year: 2005

00

27.01.2024

0

0

book Developments in Language Theory: 8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, 2004. Proceedings

Developments in Language Theory: 8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, 2004. Proceedings

pdf

Author: Bruno Courcelle (auth.) Cristian S. Calude Elena Calude Michael J. Dinneen (eds.)
Language: English
Year: 2005

00

27.01.2024

0

0

book 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

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

pdf

Author: Igor Walukiewicz (auth.) Roberto Amadio (eds.)
Language: English
Year: 2008

00

27.01.2024

0

0