HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors
Volume •Abstracts •Preface •Authors •Keywords •BibTex Entries

ARQNL 2014: Author Index

AuthorPapers
A
Alama, JesseDialogues for proof search
B
Benzmüller, ChristophHOL Provers for First-order Modal Logics --- Experiments
C
Chen, YifeiA Logic for Verifying Metric Temporal Properties in Distributed Hybrid Systems
Codescu, MihaiProof Support for Common Logic
D
De Nivelle, HansTheorem Proving for Logic with Partial Functions Using Kleene Logic and Geometric Logic
Doligez, DamienCoalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics
G
Grüninger, MichaelProof Support for Common Logic
H
Hou, PingA Logic for Verifying Metric Temporal Properties in Distributed Hybrid Systems
K
Kriener, JaelCoalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics
Kutz, OliverProof Support for Common Logic
L
Lamport, LeslieCoalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics
Lange, ChristophProof Support for Common Logic
Libal, TomerCoalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics
M
Merz, StephanCoalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics
Mossakowski, TillProof Support for Common Logic
O
Otten, JensProblem Libraries for Non-Classical Logics
R
Raths, ThomasProblem Libraries for Non-Classical Logics
S
Steen, AlexanderEmbedding of Quantified Higher-Order Nominal Modal Logic into Classical Higher-Order Logic
W
Wisniewski, MaxEmbedding of Quantified Higher-Order Nominal Modal Logic into Classical Higher-Order Logic
Copyright © 2012-2025 easychair.org. All rights reserved.