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

ANDREI-60: Keyword Index

KeywordPapers
0
0-1 LawDescription Logics That Count, and What They Can and Cannot Count
b
bisimulationDescription Logics That Count, and What They Can and Cannot Count
c
Cardinality RestrictionsDescription Logics That Count, and What They Can and Cannot Count
category theoryWho Needs Category Theory?
complexityDescription Logics That Count, and What They Can and Cannot Count
Computational LogicWho Needs Category Theory?
constraint satisfactionReconstructing in the Constraint Satisfaction Problem
counting quantifiersDescription Logics That Count, and What They Can and Cannot Count
CSPReconstructing in the Constraint Satisfaction Problem
d
Description LogicDescription Logics That Count, and What They Can and Cannot Count
e
expressivityDescription Logics That Count, and What They Can and Cannot Count
k
Kelly-Ulam conjectureReconstructing in the Constraint Satisfaction Problem
m
mathematical logicWho Needs Category Theory?
n
Number RestrictionsDescription Logics That Count, and What They Can and Cannot Count
q
QFBAPADescription Logics That Count, and What They Can and Cannot Count
r
reconstruction conjectureReconstructing in the Constraint Satisfaction Problem
reconstruction of CSP instancesReconstructing in the Constraint Satisfaction Problem
t
topologyWho Needs Category Theory?
w
witness-manipulationWho Needs Category Theory?
Copyright © 2012-2025 easychair.org. All rights reserved.