cicyt UNIZAR

Logic in Computer Science

Authors and titles for recent submissions

[ total of 14 entries: 1-14 ]
[ showing up to 25 entries per page: fewer | more ]

Tue, 20 Mar 2018

[1]  arXiv:1803.06811 [pdf, ps, other]
Title: Categorical Buechi and Parity Conditions via Alternating Fixed Points of Functors
Subjects: Logic in Computer Science (cs.LO)
[2]  arXiv:1803.06752 [pdf, ps, other]
Title: Scalar and Vectorial mu-calculus with Atoms
Subjects: Logic in Computer Science (cs.LO)
[3]  arXiv:1803.06649 [pdf, ps, other]
Title: Cubical Assemblies and Independence of the Propositional Resizing Axiom
Authors: Taichi Uemura
Subjects: Logic in Computer Science (cs.LO)
[4]  arXiv:1803.06488 [pdf, ps, other]
Title: An extended type system with lambda-typed lambda-expressions (extended version)
Authors: Matthias Weber
Comments: 150 pages
Subjects: Logic in Computer Science (cs.LO)
[5]  arXiv:1803.06878 (cross-list from cs.CC) [pdf, other]
Title: Parameterized complexity of fair deletion problems II
Subjects: Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS); Logic in Computer Science (cs.LO)
[6]  arXiv:1803.06494 (cross-list from cs.CR) [pdf, other]
Title: Attack Trees in Isabelle -- CTL semantics, correctness and completeness
Subjects: Cryptography and Security (cs.CR); Logic in Computer Science (cs.LO)
[7]  arXiv:1803.06445 (cross-list from cs.DB) [pdf, ps, other]
Title: Datalog: Bag Semantics via Set Semantics
Comments: Conference submission
Subjects: Databases (cs.DB); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

Mon, 19 Mar 2018

[8]  arXiv:1803.06005 [pdf, ps, other]
Title: Noncommutative coherence spaces for full linear logic
Authors: Sergey Slavnov
Subjects: Logic in Computer Science (cs.LO)
[9]  arXiv:1803.05937 [pdf, other]
Title: Definable decompositions for graphs of bounded linear cliquewidth
Subjects: Logic in Computer Science (cs.LO)
[10]  arXiv:1803.06157 (cross-list from cs.DM) [pdf, ps, other]
Title: Parameter Space Abstraction and Unfolding Semantics of Discrete Regulatory Networks
Comments: preprint
Subjects: Discrete Mathematics (cs.DM); Logic in Computer Science (cs.LO)

Fri, 16 Mar 2018

[11]  arXiv:1803.05535 [pdf, other]
Title: An Assertion-Based Program Logic for Probabilistic Programs
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[12]  arXiv:1803.04756 (cross-list from cs.GT) [pdf, ps, other]
Title: A pseudo-quasi-polynomial algorithm for solving mean-payoff parity games
Subjects: Computer Science and Game Theory (cs.GT); Data Structures and Algorithms (cs.DS); Logic in Computer Science (cs.LO)

Wed, 14 Mar 2018

[13]  arXiv:1803.04808 [pdf, other]
Title: Semi-BCI Algebras
Comments: 30 pages, 1 figure
Subjects: Logic in Computer Science (cs.LO)
[14]  arXiv:1803.04451 (cross-list from cs.PL) [pdf, other]
Title: Interval-based Resource Usage Verification by Translation into Horn Clauses and an Application to Energy Consumption
Comments: Under consideration for publication in Theory and Practice of Logic Programming (TPLP)
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[ total of 14 entries: 1-14 ]
[ showing up to 25 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)