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-25 | 26-50 | 51-75 | 76-100 | 101-107 ]
[ showing 25 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)
[11]  arXiv:2101.03113 [pdf, ps, other]
Title: A Rewriting Logic Approach to Specification, Proof-search, and Meta-proofs in Sequent Systems
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[12]  arXiv:2101.03215 [pdf, ps, other]
Title: Polymorphic System I
Comments: 20 pages plus appendix
Journal-ref: In IFL 2020: Proceedings of the 32nd Symposium on Implementation and Application of Functional Languages (IFL 2020). Association for Computing Machinery, New York, NY, USA, 127-137
Subjects: Logic in Computer Science (cs.LO)
[13]  arXiv:2101.03591 [pdf, ps, other]
Title: Tietze Equivalences as Weak Equivalences
Subjects: Logic in Computer Science (cs.LO); Algebraic Topology (math.AT)
[14]  arXiv:2101.03807 [pdf, ps, other]
Title: Mechanisation of Model-theoretic Conservative Extension for HOL with Ad-hoc Overloading
Comments: In Proceedings LFMTP 2020, arXiv:2101.02835
Journal-ref: EPTCS 332, 2021, pp. 1-17
Subjects: Logic in Computer Science (cs.LO)
[15]  arXiv:2101.03808 [pdf, other]
Title: Object-Level Reasoning with Logics Encoded in HOL Light
Authors: Petros Papapanagiotou (University of Edinburgh), Jacques Fleuriot (University of Edinburgh)
Comments: In Proceedings LFMTP 2020, arXiv:2101.02835
Journal-ref: EPTCS 332, 2021, pp. 18-34
Subjects: Logic in Computer Science (cs.LO); Symbolic Computation (cs.SC)
[16]  arXiv:2101.03809 [pdf, other]
Title: Deductive Systems and Coherence for Skew Prounital Closed Categories
Comments: In Proceedings LFMTP 2020, arXiv:2101.02835
Journal-ref: EPTCS 332, 2021, pp. 35-53
Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT)
[17]  arXiv:2101.03810 [pdf, ps, other]
Title: Implementation of Two Layers Type Theory in Dedukti and Application to Cubical Type Theory
Authors: Bruno Barras (Inria, Université Paris-Saclay, ENS Paris-Saclay, CNRS, LSV, Gif-sur-Yvette, France), Valentin Maestracci (Université Paris-Saclay, ENS Paris-Saclay, CNRS, LSV, Gif-sur-Yvette, France)
Comments: In Proceedings LFMTP 2020, arXiv:2101.02835
Journal-ref: EPTCS 332, 2021, pp. 54-67
Subjects: Logic in Computer Science (cs.LO)
[18]  arXiv:2101.03866 [pdf, other]
Title: Register Automata with Extrema Constraints, and an Application to Two-Variable Logic
Comments: The short version of this article appeared in the conference proceedings of LICS 2020
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)
[19]  arXiv:2101.04819 [pdf, ps, other]
Title: Parametricity for Nested Types and GADTs
Subjects: Logic in Computer Science (cs.LO)
[20]  arXiv:2101.04971 [pdf, ps, other]
Title: An Algebraic Method to Fidelity-based Model Checking over Quantum Markov Chains
Authors: Ming Xu (1), Jianling Fu (1), Jingyi Mei (1), Yuxin Deng (1) ((1) Shanghai Key Lab of Trustworthy Computing, East China Normal University, Shanghai, China)
Subjects: Logic in Computer Science (cs.LO)
[21]  arXiv:2101.05024 [pdf]
Title: Proposal for Adding Useful Features to Petri-Net Model Checkers
Authors: Hubert Garavel (CONVECS)
Subjects: Logic in Computer Science (cs.LO)
[22]  arXiv:2101.05140 [pdf, other]
Title: Secure Process Algebra
Authors: Yong Wang
Comments: 172 pages, 36 figures, 28 tables
Subjects: Logic in Computer Science (cs.LO); Cryptography and Security (cs.CR)
[23]  arXiv:2101.05256 [html]
Title: Proceedings 6th International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT
Authors: Thao Dang (Verimag/CNRS, France), Stefan Ratschan (Institute of Computer Science, Czech Academy of Sciences)
Journal-ref: EPTCS 331, 2021
Subjects: Logic in Computer Science (cs.LO); Symbolic Computation (cs.SC)
[24]  arXiv:2101.05257 [pdf, ps, other]
Title: Irrationality and Transcendence Criteria for Infinite Series in Isabelle/HOL
Comments: 23 pages. Submitted for publication
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[25]  arXiv:2101.05415 [pdf, other]
Title: Analysis of E-commerce Ranking Signals via Signal Temporal Logic
Authors: Tommaso Dreossi (Amazon Search), Giorgio Ballardin (Amazon Search), Parth Gupta (Amazon Search), Jan Bakus (Amazon Search), Yu-Hsiang Lin (Amazon Search), Vamsi Salaka (Amazon Search)
Comments: In Proceedings SNR 2020, arXiv:2101.05256
Journal-ref: EPTCS 331, 2021, pp. 33-42
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL); Information Retrieval (cs.IR); Machine Learning (cs.LG)
[ total of 107 entries: 1-25 | 26-50 | 51-75 | 76-100 | 101-107 ]
[ showing 25 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

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