LAP 2022 Presentations
  • Search
  • View
  • Print
  • Login

LAP 2022 Presentations:

Kristina Asimi, L. Barto, S. ButtiFixed-Template Promise Model Checking Problems
Vedran Čačić, Marko Horvat, Z. IljazovićVarious notions of computability of subsets of topological and metric spaces (1)
 Various notions of computability of subsets of topological and metric spaces (2)
Šejla Dautović, D. Doder, Z. OgnjanovićProbabilistic-Temporal Logic with Actions
Sebastijan Horvat, T. Perkov, M. VukovićA good method of transforming Veltman into Verbrugge models
Angelina Ilić Stepić, Z. Ognjanović, A. PerovićThe logic ILP for intuitionistic reasoning about probability
Simona Kašterović, S. GhilezanProbabilistic Reasoning about Typed Combinatory Logic
Dorel LucanuCapturing Term Algebra Computations in Matching Logic
Jieting Luo, M. Dastani, T. StuderEmotion-based Norm Identication
Vivek NigamAutomating Safety Proofs about Cyber-Physical Systems using Rewriting Modulo SMT
Ruy J. Guerra B. de QueirozConnections between Logic and Geometry via Term Rewriting
Andre ScedrovThe Multiplicative-Additive Lambek Calculus with Subexponential and Bracket Modalities: Undecidability and Decidable Fragments
Tamara Stefanović, S. Ghilezan, S. KašterovićCrypto-Covid Privacy challenges in BlockChain and Contact Tracing
Zvonimir ŠikićA note on countable additivity
Carolyn TalcottModeling Complex Systems in Rewriting Logic
Dmitriy ZhukOn the complexity of the Quantified Constraint Satisfaction Problem
© 2011 CMS