1996 search results - page 12 / 400 » Financial Theory 2 |
CORR
2008
Springer
15 years 1 months ago
2008
Springer
POPL
2012
ACM
13 years 9 months ago
2012
ACM
nvenient way of pattern-matching against abstract data types. Publications: Dissertation
AAAI
2000
15 years 3 months ago
2000
We introduce new linear time algorithms for satisfiability of binary propositional theories (2-SAT), and for recognition and satisfiability of renamable Horn theories. The algorit...
APAL
2008
15 years 1 months ago
2008
This paper continues [Sh500] and [DzSh692]. We present a rank function for NSOP1 theories and give an example of a theory which is NSOP1 but not simple. We also investigate the con...