Вы здесь

Главная

темпоральная логика

Связанные издания:

Abstract State Machines Alloy, B, TLA, VDM, and Z: Proc./4th International Conference, ABZ 2014, Toulouse, France, June 2014
A decision procedure for propositional projection tempotal logic with infinite models
Automata for Branching and Layered Temporal Structures: An Investigation into Regularities of Infinite Transition Systems
Automated Reasoning: Proc./5th International Joint Conference, IJCAR 2010, Edinburg, UK, July 2010
Automated Reasoning: Proc./7th International Joint Conference, IJCAR 2014 Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 2014
Automated Reasoning: Proc./8th International Joint Conference, IJCAR 2016, Coimbra, Portugal. June 2016
Automated Reasoning with Analytic Tableaux and Related Methods: Proc/18th International Conference, TABLEAUX 2009, Oslo, Norway, July 2009
Automated Technology for Verification and Analysis: Proc./17th International Symposium, ATVA 2019, Taipei, Taiwan, October 2019
Automated Technology for Verification and Analysis: Proc./18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 2020
Branching Time-Property Preservation Between Real-Time Systems
Checking Temporal Properties of Discrete, Timed, and Continuous Behaviors
Coalgebraic Methods in Computer Science: Revised Selected Papers/14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, June 2018
Computational Logic in Multi-Agent Systems: Proc./12th International Workshop, CLIMA XII, Barcelona, Spain, July 2011
Computer Aided Verification, Part II: Proc./33rd International Conference, CAV 2021, Virtual Event, July 2021
Computer Aided Verification, Part I: Proc./29th International Conference, CAV 2017, Heidelberg, Germany, July 2017
Computer Aided Verification, Part I: Proc./31st International Conference, CAV 2019, New York City,NY,USA, July 2019
Computer Aided Verification, Part I: Proc./33rd International Conference, CAV 2021, Virtual Event, July 2021
CONCUR 2010 - Concurrency Theory: Proc./21st International Conference, CONCUR 2010, Paris, France, August/September 2010
CONCUR 2011 - Concurrency Theory: Proc./22nd International Conference, CONCUR 2011, Aachen,Germany, September 2011
CONCUR 2014 - Concurrency Theory: Proc./25th International Conference, CONCUR 2014, Rome, Italy, September 2014
Datalog in Academia and Industry: Proc./2nd International Workshop, Datalog 2.0, Vienna, Austria, September 2012
Deontic Logic and Normative Systems: Proc./12th International Conference, DEON 2014, Ghent, Belgium, July 2014
Deontic Logic in Computer Science: Proc./10th International Conference, DEON 2010, Fiesole, Italy, July 2010
Developments in Language Theory: Proc./14th International Conference, DLT 2010, London, ON, Canada, August 2010
Developments in Language Theory: Proc./23rd International Conference, DLT 2019, Warsaw, Poland, August 2019
Dynamic Logic: New Trends and Applications: Proc./2nd International Workshop, DaLi 2019, Porto, Portugal, October 2019
Formal Methods and Software Engineering: Proc./12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 2010
Formal Methods and Software Engineering: Proc./14th International Conference on Formal Engineering Mathods, ICFEM 2012, Kyoto, Japan, November 2012
Formal Methods for Industrial Critical Systems: Proc./25th International Conference, FMICS 2020, Vienna, Austria, September 2020
Formal Methods: Foundations and Applications: Proc./15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 2012
Formal Methods: Foundations and Applications: Proc./16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 2013
Formal Methods: Proc./22nd International Symposium, FM 2018 Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 2018
Formal Modeling and Analysis of Timed Systems: Proc./16th International Conference, FORMATS 2018, Beijing, China, September 2018
Formal Modeling and Analysis of Timed Systems: Proc./17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 2019
Foundations of Software Science and Computational Structures: Proc./13th International Conference, FOSSACS 2010, Joint European Conferences, ETAPS 2010, Paphos, Cyprus, March 2010
Foundations of Software Science and Computational Structures: Proc./15th International Conference, FOSSACS 2012 Held as Part of the European Joint Conferences, ETAPS 2012, Tallinn, Estonia, March 2012
Foundations of Software Science and Computational Structures: Proc./23rd International Conference, FOSSACS 2020 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 2020
From Reactive Systems to Cyber-Physical Systems: Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday
From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of His 65th Birthday
Frontiers of Combining Systems: Proc./11th International Symposium, FroCoS 2017, Brasilia, Brazil, September 2017
Frontiers of Combining Systems: Proc./9th International Symposium, FroCoS 2013, Nancy, France, September 2013
Fundamentals of Software Engineering: Revised Selected Papers/3rd IPM International Conference, FSEN 2009, Kish Island, Iran, April 2009
Logical Foundations of Computer Science: Proc./International Symposium, LFCS 2018, Deerfield Beach,FL,USA, January 2018
Logic and Its Applications: Proc./5th Indian Conference, ICLA 2013, Chennai, India, January 2013
Logic and Its Applications: Proc./8th Indian Conference, ICLA 2019, Delhi, India, March 2019
Logic and Programming, Artificial Intelligence, and Reasoning: Proc./17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 2010
Logic and the Foundations of Game and Decision Theory - LOFT 8: Revised Selected Papers/8th International Conference, Amsterdam, The Netherlands, July 2008
Logic for Programming, Artificial Intelligence, and Reasoning: Revised Selected Papers/16th International Conference, LPAR-16, Dakar, Senegal, April/May 2010
Logics in Artificial Intelligence: Proc./15th European Conference, JELIA 2016, Larnaca, Cyprus, November 2016
Logics in Artificial Intelligence: Proc./16th European Conference, JELIA 2019, Rende, Italy, May 2019