Two-Variable Logic over Countable Linear Orderings.

Amaldev Manuel A. V. Sreejith

Published in: MFCS (2016)

Keyphrases

logic programming
automated reasoning
markov chain
database
neural network
modal logic
predicate logic
linear functions
real time
data sets
machine learning
information retrieval
continuous variables
multi valued
asynchronous circuits
proof theory