Latest Published Articles:
Logic in Computer Science
#LogicinComputerScience
π Dependently Typed Folds for Nested Data Types
π₯ Peng Fu, Peter Selinger
π PDF
π Parameter-Independent Strategies for pMDPs via POMDPs
π₯ Sebastian Arming, Ezio Bartocci, Krishnendu Chatterjee, Joost-Pieter Katoen, Ana Sokolova
π PDF
π TTT2 with Termination Templates for Teaching
π₯ Jonas SchΓΆpf, Christian Sternagel
π PDF
π Subspace-Invariant AC$^0$ Formulas
π₯ Benjamin Rossman
π PDF
π Goal-Oriented Conjecturing for Isabelle/HOL
π₯ Yutaka Nagashima, Julian Parsert
π PDF
π Compositional Discovery of Workflow Nets from Event Logs Using Morphisms
π₯ Luca Bernardinello, Irina Lomazova, Roman Nesterov, Lucia Pomello
π PDF
π Learning Linear Temporal Properties
π₯ Daniel Neider, Ivan Gavran
π PDF
π Formal Small-step Verification of a Call-by-value Lambda Calculus Machine
π₯ Fabian Kunze, Gert Smolka, Yannick Forster
π PDF
π Formalization of Lerch's Theorem using HOL Light
π₯ Adnan Rashid, Osman Hasan
π PDF
π Maximizing the Number of Satisfied L-clauses
π₯ Mohamed El Halaby, Areeg Abdalla
π PDF
π Specification of State and Time Constraints for Runtime Verification of Functions
π₯ Joshua Heneage Dawes, Giles Reger
π PDF
π Constrained Counting and Sampling: Bridging the Gap between Theory and Practice
π₯ Kuldeep S. Meel
π PDF
π Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra
π₯ Simon Foster, Kangfeng Ye, Ana Cavalcanti, Jim Woodcock
π PDF
π Dynamic Ordered Weighted Averaging Functions for Complete Lattices
π₯ Antonio Diego S. Farias, Regivan H. N. Santiago, BenjamΓn Bedregal
π PDF
π A New Style of Mathematical Proof
π₯ William M. Farmer
π PDF
#LogicinComputerScience
AI Python & arXiv Channel
Logic in Computer Science
#LogicinComputerScience
π Dependently Typed Folds for Nested Data Types
π₯ Peng Fu, Peter Selinger
π PDF
π Parameter-Independent Strategies for pMDPs via POMDPs
π₯ Sebastian Arming, Ezio Bartocci, Krishnendu Chatterjee, Joost-Pieter Katoen, Ana Sokolova
π PDF
π TTT2 with Termination Templates for Teaching
π₯ Jonas SchΓΆpf, Christian Sternagel
π PDF
π Subspace-Invariant AC$^0$ Formulas
π₯ Benjamin Rossman
π PDF
π Goal-Oriented Conjecturing for Isabelle/HOL
π₯ Yutaka Nagashima, Julian Parsert
π PDF
π Compositional Discovery of Workflow Nets from Event Logs Using Morphisms
π₯ Luca Bernardinello, Irina Lomazova, Roman Nesterov, Lucia Pomello
π PDF
π Learning Linear Temporal Properties
π₯ Daniel Neider, Ivan Gavran
π PDF
π Formal Small-step Verification of a Call-by-value Lambda Calculus Machine
π₯ Fabian Kunze, Gert Smolka, Yannick Forster
π PDF
π Formalization of Lerch's Theorem using HOL Light
π₯ Adnan Rashid, Osman Hasan
π PDF
π Maximizing the Number of Satisfied L-clauses
π₯ Mohamed El Halaby, Areeg Abdalla
π PDF
π Specification of State and Time Constraints for Runtime Verification of Functions
π₯ Joshua Heneage Dawes, Giles Reger
π PDF
π Constrained Counting and Sampling: Bridging the Gap between Theory and Practice
π₯ Kuldeep S. Meel
π PDF
π Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra
π₯ Simon Foster, Kangfeng Ye, Ana Cavalcanti, Jim Woodcock
π PDF
π Dynamic Ordered Weighted Averaging Functions for Complete Lattices
π₯ Antonio Diego S. Farias, Regivan H. N. Santiago, BenjamΓn Bedregal
π PDF
π A New Style of Mathematical Proof
π₯ William M. Farmer
π PDF
#LogicinComputerScience
AI Python & arXiv Channel