cicyt UNIZAR

Logic in Computer Science

Authors and titles for recent submissions

[ total of 28 entries: 1-25 | 26-28 ]
[ showing 25 entries per page: fewer | more | all ]

Fri, 23 Feb 2018

[1]  arXiv:1802.08070 [pdf, ps, other]
Title: A New Foundation for Finitary Corecursion and Iterative Algebras
Comments: arXiv admin note: substantial text overlap with arXiv:1601.01532
Subjects: Logic in Computer Science (cs.LO)
[2]  arXiv:1802.08064 [pdf, ps, other]
Title: Computing the concurrency threshold of sound free-choice workflow nets
Subjects: Logic in Computer Science (cs.LO)
[3]  arXiv:1802.07830 [pdf, ps, other]
Title: Proper Semirings and Proper Convex Functors
Comments: FoSSaCS 2018
Subjects: Logic in Computer Science (cs.LO)
[4]  arXiv:1802.07966 (cross-list from cs.AI) [pdf, other]
Title: Incremental and Iterative Learning of Answer Set Programs from Mutually Distinct Examples
Subjects: Artificial Intelligence (cs.AI); Learning (cs.LG); Logic in Computer Science (cs.LO)
[5]  arXiv:1802.07284 (cross-list from cs.PL) [pdf, ps, other]
Title: Logic Programming Applications: What Are the Abstractions and Implementations?
Authors: Yanhong A. Liu
Subjects: Programming Languages (cs.PL); Artificial Intelligence (cs.AI); Databases (cs.DB); Logic in Computer Science (cs.LO)

Thu, 22 Feb 2018

[6]  arXiv:1712.10213 [pdf, other]
Title: Unifying Theories of Time with Generalised Reactive Processes
Comments: 7 pages, accepted for Information Processing Letters, 15th February 2018
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)
[7]  arXiv:1802.07612 [pdf, ps, other]
Title: WQO dichotomy for 3-graphs
Subjects: Logic in Computer Science (cs.LO)
[8]  arXiv:1802.07508 [pdf, ps, other]
Title: A Dual Tableau-based Decision Procedure for a Relational Logic with the Universal Relation (Extended Version)
Comments: Extended version of the conference paper: D. Cantone, M. Nicolosi-Asmundo, E. Or{\l}owska. A Dual Tableau-based Decision Procedure for a Relational Logic with the Universal Relation. In Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16-18, 2014. CEUR Workshop Proceedings Vol. 1195, pp. 194-209 (2014)
Subjects: Logic in Computer Science (cs.LO)
[9]  arXiv:1802.07435 [pdf, other]
Title: Playing with Repetitions in Data Words Using Energy Games
Subjects: Logic in Computer Science (cs.LO)
[10]  arXiv:1802.07366 [pdf, other]
Title: Free complete Wasserstein algebras
Subjects: Logic in Computer Science (cs.LO)
[11]  arXiv:1802.07320 [pdf, ps, other]
Title: Degrees of extensionality in the theory of Böhm trees and Sallé's conjecture
Comments: 36 pages
Subjects: Logic in Computer Science (cs.LO)
[12]  arXiv:1802.07551 (cross-list from math.OC) [pdf, ps, other]
Title: On detectability of labeled Petri nets with inhibitor arcs
Comments: 18 pages, 4 figures
Subjects: Optimization and Control (math.OC); Logic in Computer Science (cs.LO)

Wed, 21 Feb 2018

[13]  arXiv:1802.07143 [pdf, ps, other]
Title: Breaking the Loop: Recursive Proofs for Coinductive Predicates in Fibrations
Authors: Henning Basold
Subjects: Logic in Computer Science (cs.LO)
[14]  arXiv:1802.07038 [pdf, other]
Title: Higher-Dimensional Timed Automata
Authors: Uli Fahrenberg
Subjects: Logic in Computer Science (cs.LO); Systems and Control (cs.SY)

Tue, 20 Feb 2018 (showing first 11 of 12 entries)

[15]  arXiv:1802.06660 [pdf, other]
Title: Linear Equations with Ordered Data
Subjects: Logic in Computer Science (cs.LO)
[16]  arXiv:1802.06603 [pdf, ps, other]
Title: Size-based termination of higher-order rewriting
Authors: Frédéric Blanqui (DEDUCTEAM, LSV)
Subjects: Logic in Computer Science (cs.LO)
[17]  arXiv:1802.06497 [pdf, other]
Title: Transforming Dependency Chains of Constrained TRSs into Bounded Monotone Sequences of Integers
Authors: Tomohiro Sasano (Nagoya University), Naoki Nishida (Nagoya University), Masahiko Sakai (Nagoya University), Tomoya Ueyama (Nagoya University)
Comments: In Proceedings WPTE 2017, arXiv:1802.05862
Journal-ref: EPTCS 265, 2018, pp. 82-97
Subjects: Logic in Computer Science (cs.LO)
[18]  arXiv:1802.06496 [pdf, other]
Title: Reduced Dependency Spaces for Existential Parameterised Boolean Equation Systems
Authors: Yutaro Nagae (Nagoya University), Masahiko Sakai (Nagoya University)
Comments: In Proceedings WPTE 2017, arXiv:1802.05862
Journal-ref: EPTCS 265, 2018, pp. 67-81
Subjects: Logic in Computer Science (cs.LO)
[19]  arXiv:1802.06494 [pdf, other]
Title: Transforming Proof Tableaux of Hoare Logic into Inference Sequences of Rewriting Induction
Authors: Shinnosuke Mizutani (Nagoya University), Naoki Nishida (Nagoya University)
Comments: In Proceedings WPTE 2017, arXiv:1802.05862
Journal-ref: EPTCS 265, 2018, pp. 35-51
Subjects: Logic in Computer Science (cs.LO)
[20]  arXiv:1802.06492 [pdf, other]
Title: Attributed Hierarchical Port Graphs and Applications
Authors: Nneka Chinelo Ene (King's College London Dept. of Informatics), Maribel Fernández (King's College London Dept. of Informatics), Bruno Pinaud (University of Bordeaux, LaBRI UMR CNRS 5800, France)
Comments: In Proceedings WPTE 2017, arXiv:1802.05862
Journal-ref: EPTCS 265, 2018, pp. 2-19
Subjects: Logic in Computer Science (cs.LO); Software Engineering (cs.SE); Social and Information Networks (cs.SI)
[21]  arXiv:1802.06462 [pdf, ps, other]
Title: Heuristic Based Induction of Answer Set Programs: From Default theories to combinatorial problems
Comments: Technical Report 02-18-2018
Subjects: Logic in Computer Science (cs.LO)
[22]  arXiv:1802.06217 [pdf, ps, other]
Title: Design and Implementation of the Andromeda Proof Assistant
Subjects: Logic in Computer Science (cs.LO)
[23]  arXiv:1802.06653 (cross-list from cs.PL) [pdf, ps, other]
Title: A Type-Based Complexity Analysis of Object Oriented Programs
Authors: Emmanuel Hainry (CARTE), Romain Péchoux (CARTE)
Comments: Information and Computation, Elsevier, A Para\^itre, pp.60
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[24]  arXiv:1802.06575 (cross-list from math.OC) [pdf, other]
Title: On the Decidability of Reachability in Linear Time-Invariant Systems
Subjects: Optimization and Control (math.OC); Discrete Mathematics (cs.DM); Logic in Computer Science (cs.LO); Systems and Control (cs.SY)
[25]  arXiv:1802.06493 (cross-list from cs.PL) [pdf, ps, other]
Title: A Method to Translate Order-Sorted Algebras to Many-Sorted Algebras
Authors: Liyi Li (University of Illinois at Urbana-Champaign), Elsa Gunter (University of Illinois at Urbana-Champaign)
Comments: In Proceedings WPTE 2017, arXiv:1802.05862
Journal-ref: EPTCS 265, 2018, pp. 20-34
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[ total of 28 entries: 1-25 | 26-28 ]
[ showing 25 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)