Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Volume
•
Abstracts
•
Preface
•
Authors
•
Keywords
•
BibTex Entries
LPAR-IWIL 2018
:
Keyword Index
Keyword
Papers
A
Answer Set Programming
Symmetry breaking in a new stable model search method
C
computational complexity
On Disallowing Punctual Intervals in Reflexive Semantics of Halpern-Shoham Logic
D
Data Mining
Towards Efficient Metaquery Generator
DPLL(T)
Extending a Verified Simplex Algorithm
F
functor
HoTT-Crypt : A Study in Homotopy Type Theory based on Cryptography
G
Groupoid
HoTT-Crypt : A Study in Homotopy Type Theory based on Cryptography
H
Halpern-Shoham logic
On Disallowing Punctual Intervals in Reflexive Semantics of Halpern-Shoham Logic
Higher Inductive Type
HoTT-Crypt : A Study in Homotopy Type Theory based on Cryptography
homotopy type theory
HoTT-Crypt : A Study in Homotopy Type Theory based on Cryptography
I
interval logic
On Disallowing Punctual Intervals in Reflexive Semantics of Halpern-Shoham Logic
Isabelle/HOL
Extending a Verified Simplex Algorithm
L
Linear Rational Arithmetic
Extending a Verified Simplex Algorithm
logic programming
Symmetry breaking in a new stable model search method
M
metaqueries
Towards Efficient Metaquery Generator
R
relational database
Towards Efficient Metaquery Generator
S
stable models
Symmetry breaking in a new stable model search method
Sub-propositional Fragments
On Disallowing Punctual Intervals in Reflexive Semantics of Halpern-Shoham Logic
symmetry breaking
Symmetry breaking in a new stable model search method
T
theory solver
Extending a Verified Simplex Algorithm
U
univalence
HoTT-Crypt : A Study in Homotopy Type Theory based on Cryptography
unsatisfiable core
Extending a Verified Simplex Algorithm
Copyright © 2012-2023 easychair.org. All rights reserved.