Search Results - "Mathematical Logic and Formal Languages" :: K.UTB vyhledávací portál

Loading…

Safe Autonomy Under Perception Uncertainty Using Chance-Constrained Temporal Logic

by Jha, Susmit, Raman, Vasumathi, Sadigh, Dorsa, Seshia, Sanjit A.
Published in Journal of automated reasoning (01.01.2018)

Get full text

Journal Article

Loading…

Automatically Verifying Temporal Properties of Pointer Programs with Cyclic Proof

by Tellez, Gadi, Brotherston, James
Published in Journal of automated reasoning (01.03.2020)

Get full text

Journal Article

Loading…

The 2D Dependency Pair Framework for Conditional Rewrite Systems—Part II: Advanced Processors and Implementation Techniques

by Lucas, Salvador, Meseguer, José, Gutiérrez, Raúl
Published in Journal of automated reasoning (01.12.2020)

Get full text

Journal Article

Loading…

Chinese Lexical Semantics: 22nd Workshop, CLSW 2021, Nanjing, China, May 15-16, 2021, Revised Selected Papers, Part I

by Dong, Minghui, Gu, Yanhui, Hong, Jia-Fei
Year of Publication 2022

Get full text

eBook Conference Proceeding

Loading…

Soundness and Completeness Proofs by Coinductive Methods

by Blanchette, Jasmin Christian, Popescu, Andrei, Traytel, Dmitriy
Published in Journal of automated reasoning (01.01.2017)

Get full text

Journal Article

Loading…

Hybrid: A Definitional Two-Level Approach to Reasoning with Higher-Order Abstract Syntax

by Felty, Amy, Momigliano, Alberto
Published in Journal of automated reasoning (01.01.2012)

Get full text

Journal Article

Loading…

Logic, Language, Information, and Computation: 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings

by Workshop on Logic, Language, Information and Computation, Moss, Lawrence Stuart, Queiroz, Ruy de, Martinez, Maricarmen
Year of Publication 2018

Get full text

eBook Book

Loading…

Formal Techniques for Distributed Systems: Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings

by FMOODS, FORTE, Hatcliff, John, Zucca, Elena
Year of Publication 2010

Get full text

eBook Book Conference Proceeding

Loading…

The Reflective Milawa Theorem Prover is Sound (Down to the Machine Code that Runs it)

by Davis, Jared, Myreen, Magnus O.
Published in Journal of automated reasoning (01.08.2015)

Get full text

Journal Article

Loading…

Handbook of software engineering

by Cha, Sungdeok, Taylor, Richard N., Kang, Kyochul
Year of Publication 2019

Get full text

eBook Book

Loading…

Intelligent Computer Mathematics: 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings

by Rabe, Florian, Farmer, William M, Passmore, Grant O, Youssef, Abdou
Year of Publication 2018

Get full text

eBook Conference Proceeding

Loading…

Language, Logic, and Computation: 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers

by Silva, Alexandra, Staton, Sam, Sutton, Peter, Umbach, Carla
Year of Publication 2019

Get full text

eBook

Loading…

Metadata and Semantic Research: 13th International Conference, MTSR 2019, Rome, Italy, October 28-31, 2019, Revised Selected Papers

by Garoufallou, Emmanouel, Fallucchi, Francesca, William De Luca, Ernesto
Year of Publication 2019

Get full text

eBook

Loading…

Quaternions for Computer Graphics

by Vince, John
Year of Publication 2011

Get full text

eBook

Loading…

Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part II

by Vojnar, Tomás, Zhang, Lijun
Year of Publication 2019

Get full text

eBook

Loading…

Complexity Theory: Exploring the Limits of Efficient Algorithms

by Wegener, Ingo
Year of Publication 2005

Get full text

eBook Book

Loading…

Data Integration in the Life Sciences: 13th International Conference, DILS 2018, Hannover, Germany, November 20-21, 2018, Proceedings

by Auer, Sören, Vidal, Maria-Esther
Year of Publication 2018

Get full text

eBook

Loading…

Structured Object-Oriented Formal Language and Method: 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers

Year of Publication 2016

Get full text

Conference Proceeding

Loading…

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV: Special Issue on Consistency and Inconsistency in Data-Centric Applications

by Hameurlain, Abdelkader, Küng, Josef, Wagner, Roland, Decker, Hendrik
Year of Publication 2017

Get full text

eBook

Loading…

Reasoning Web: Semantic Interoperability on the Web : 13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures

by Ianni, Giovambattista, Lembo, Domenico, Bertossi, Leopoldo, Faber, Wolfgang, Glimm, Birte, Gottlob, Georg, Staab, Steffen
Year of Publication 2017

Get full text

eBook Book

Refine Results

Format

Subject Area

Topic

Language

Year of Publication

Database