We gratefully acknowledge support from
the Simons Foundation and member institutions.

Logic in Computer Science

Authors and titles for cs.LO in Jan 2021

[ total of 107 entries: 1-10 | 11-20 | 21-30 | 31-40 | ... | 101-107 ]
[ showing 10 entries per page: fewer | more | all ]
[1]  arXiv:2101.00102 [pdf, other]
Title: Verifying a Cruise Control System using Simulink and SpaceEx
Authors: Nikolaos Kekatos
Subjects: Logic in Computer Science (cs.LO); Systems and Control (eess.SY)
[2]  arXiv:2101.00956 [pdf, ps, other]
Title: Computable Random Variables and Conditioning
Authors: Pieter Collins
Comments: arXiv admin note: text overlap with arXiv:1409.4667
Subjects: Logic in Computer Science (cs.LO); Probability (math.PR)
[3]  arXiv:2101.00958 [pdf, other]
Title: Scalable Online Conformance Checking Using Incremental Prefix-Alignment Computation
Subjects: Logic in Computer Science (cs.LO); Software Engineering (cs.SE)
[4]  arXiv:2101.00992 [pdf, other]
Title: Formal Game Grammar and Equivalence
Comments: 8 pages, 7 figures. Presented at the 2020 IEEE Conference on Games (Full Paper. August 24-27, 2020). arXiv admin note: text overlap with arXiv:1912.03295
Journal-ref: 2020 IEEE Conference on Games (CoG), Osaka, Japan, 2020, pp. 206-213
Subjects: Logic in Computer Science (cs.LO)
[5]  arXiv:2101.01676 [pdf, ps, other]
Title: Dynamic Preference Logic meets Iterated Belief Change: Representation Results and Postulates Characterization
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)
[6]  arXiv:2101.01842 [pdf, other]
Title: Confluence up to Garbage in Graph Transformation
Comments: 33 pages, 2021
Subjects: Logic in Computer Science (cs.LO)
[7]  arXiv:2101.01944 [pdf, ps, other]
Title: Logics of First-Order Constraints -- A Category Independent Approach
Authors: Uwe Wolter
Comments: 23 pages, presented at the 8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019), London, UK, June 3-6, 2019
Subjects: Logic in Computer Science (cs.LO); Software Engineering (cs.SE)
[8]  arXiv:2101.02690 [pdf]
Title: Theorem Proving and Algebra
Authors: Joseph A. Goguen
Comments: 427+ xviii pages, 38 figures, Unfinished book by Joseph A. Goguen, Edited by Kokichi Futatsugi, Narciso Mart\'i-Oliet and Jos\'e Meseguer; revised version corrects some strange characters in page xv
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Symbolic Computation (cs.SC)
[9]  arXiv:2101.02835 [html]
Title: Proceedings Fifteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
Authors: Claudio Sacerdoti Coen (University of Bologna), Alwen Tiu (The Australian National University)
Journal-ref: EPTCS 332, 2021
Subjects: Logic in Computer Science (cs.LO)
[10]  arXiv:2101.02994 [pdf, other]
Title: Quotients, inductive types, and quotient inductive types
Subjects: Logic in Computer Science (cs.LO)
[ total of 107 entries: 1-10 | 11-20 | 21-30 | 31-40 | ... | 101-107 ]
[ showing 10 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, cs, 2110, contact, help  (Access key information)