Výsledky vyhledávání - Lecture Notes in Computer Science; Theoretical Computer Science and General Issues

Incompleteness of Intuitionistic Propositional Logic with Respect to Proof-Theoretic Semantics. Studia Logica, vol. 107 ( 2019 ), no. 1, pp. 233 – 246 . Gheorghiu, Alexander V., Gu, Tao and Pym, David J. .; Proof-Theoretic Semantics for Intuitionistic Multiplicative Linear Logic. Automated Reasoning with Analytic Tableaux and Related Methods, Revantha Ramanayake and Josef Urban, Lecture Notes in Computer Science, vol. 14278, Springer, Cham, pp. 367 – 385 . Oliveira, Hermógenes .; On Dummett’s Pr Autor Stafford, Will

Získat plný text

Thomas Piecha and Peter Schroeder-Heister. Incompleteness of Intuitionistic Propositional Logic with Respect to Proof-Theoretic Semantics . Studia Logica , vol. 107 (2019), no. 1, pp. 233–246. - Alexander V. Gheorghiu, Tao Gu and David J. Pym. Proof-Theoretic Semantics for Intuitionistic Multiplicative Linear Logic . Automated Reasoning with Analytic Tableaux and Related Methods, Revantha Ramanayake and Josef Urban, Lecture Notes in Computer Science, vol. 14278, Springer, Cham, pp. 367–385. - He Autor Stafford, Will

Získat plný text

Computer Aided Verification Theoretical Computer Science and General Issues: 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II Autor Silva, Alexandra, Leino, K. Rustan M

“…This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021…”
Získat plný text

Computer Aided Verification Theoretical Computer Science and General Issues: 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I Autor Silva, Alexandra, Leino, K. Rustan M

“…This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021…”
Získat plný text

Brain-Inspired Computing Theoretical Computer Science and General Issues: 4th International Workshop, BrainComp 2019, Cetraro, Italy, July 15-19, 2019, Revised Selected Papers Autor Amunts, Katrin, Grandinetti, Lucio, Lippert, Thomas, Petkov, Nicolai

“… They deal with research on brain atlasing, multi-scale models and simulation, HPC and data infra-structures for neuroscience as well as artificial and natural neural…”
Získat plný text

Fundamental Approaches to Software Engineering Theoretical Computer Science and General Issues: 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings Autor Guerra, Esther, Stoelinga, Marielle

“…This open access book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, FASE 2021, which took…”
Získat plný text

Foundations of Software Science and Computation Structures Theoretical Computer Science and General Issues: 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings Autor Kiefer, Stefan, Tasson, Christine

“…This open access book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational Structures, FOSSACS…”
Získat plný text

Tools and Algorithms for the Construction and Analysis of Systems Theoretical Computer Science and General Issues: 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part II Autor Groote, Jan Friso, Larsen, Kim Guldstrand

“…This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of…”
Získat plný text

Programming Languages and Systems Theoretical Computer Science and General Issues: 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings Autor Yoshida, Nobuko

“… They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems…”
Získat plný text

Tools and Algorithms for the Construction and Analysis of Systems Theoretical Computer Science and General Issues: 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part I Autor Groote, Jan Friso, Larsen, Kim Guldstrand

“…This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of…”
Získat plný text

Giovanni Sommaruga (ed): Formal Theories of Information: From Shannon to Semantic Information Theory and General Concepts of Information: Lecture Notes in Computer Science, vol. 5363, Springer, New York, 2009, vii+269, $ 64.95, ISBN 978-3-642-00658-6 Autor Primiero, Giuseppe

Získat plný text

Foundations of Software Science and Computation Structures: 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings Autor Goubault-Larrecq, Jean, König, Barbara

“…This open access book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2020, which took place in Dublin…”
Získat plný text

Brain-Inspired Computing: 4th International Workshop, BrainComp 2019, Cetraro, Italy, July 15-19, 2019, Revised Selected Papers Autor Amunts, Katrin, Grandinetti, Lucio, Lippert, Thomas, Petkov, Nicolai

“… The 11 papers presented in this volume were carefully reviewed and selected for inclusion in this book…”
Získat plný text

Programming Languages and Systems: 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings Autor European Symposium on Programming, Yoshida, Nobuko, European Conferences on Theory and Practice of Software

“… They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems…”
Získat plný text

Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I Autor Dillig, Isil, Tasiran, Serdar

“…This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019…”
Získat plný text

Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018. Proceedings Autor Baier, Christel, Dal Lago, Ugo

“…artificial intelligence; computer software; selection and evaluation; formal logic; graph theory; modal logic; petri nets; program compilers; programming language…”
Získat plný text

Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I Autor Silva, Alexandra, Leino, K. Rustan M

“…This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021…”
Získat plný text

Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II Autor Silva, Alexandra, Leino, K. Rustan M

“…This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021…”
Získat plný text

Foundations of Software Science and Computation Structures: 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings Autor FOSSACS, Kiefer, Stefan, Tasson, Christine, European Conferences on Theory and Practice of Software

“…This open access book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2021, which was held during March 27…”
Získat plný text

Programming Languages and Systems: 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings Autor Muller, Peter

“… The papers deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems…”
Získat plný text