• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 45 matches

• 2020
• 
  Weiqing Wan, Yongqing Yu, Qingyan Zeng, Zhicheng Wen:
  Checking the consistency of Object-Z formal specification based on theorem proof. J. Comput. Methods Sci. Eng. 20(1): 217-226 (2020)
• 2019
• 
  Francesc D. Muñoz-Escoí, Rubén de Juan-Marín, José-Ramón García-Escrivá, José Ramón González de Mendívil, José M. Bernabéu-Aubán:
  CAP Theorem: Revision of Its Related Consistency Models. Comput. J. 62(6): 943-960 (2019)
• 
  Denis Belomestny, Tobias Hübner, Volker Krätschmer, Sascha Nolte:
  Minimax theorems for American options without time-consistency. Finance Stochastics 23(1): 209-238 (2019)
• 2018
• 
  Matthias Schirn:
  Finitist Consistency Proofs and the Impact of Gödel's Incompleteness Theorems on Hilbert?s Metamathematics. FLAP 5(6): 1273-1300 (2018)
• 
  Zheng Yang, Hang Lei:
  A general formal memory framework in Coq for verifying the properties of programs based on higher-order logic theorem proving with increased automation, consistency, and reusability. CoRR abs/1803.00403 (2018)
• 2016
• 
  Juliana Bueno-Soler, Walter Carnielli:
  Paraconsistent Probabilities: Consistency, Contradictions and Bayes' Theorem. Entropy 18(9): 325 (2016)
• 
  Andreas Christmann, Florian Dumpert, Dao-Hong Xiang:
  A short note on extension theorems and their connection to universal consistency in machine learning. CoRR abs/1604.04505 (2016)
• 2015
• 
  Thaddeus Tarpey, Nicola Loperfido:
  Self-consistency and a generalized principal subspace theorem. J. Multivar. Anal. 133: 27-37 (2015)
• 2013
• 
  Olivier P. Faugeras:
  Sklar's theorem derived using probabilistic continuation and two consistency results. J. Multivar. Anal. 122: 271-277 (2013)
• 2012
• 
  Gemma Robles:
  Paraconsistency and consistency understood as the absence of the negation of any implicative theorem. Reports Math. Log. 47: 147-171 (2012)
• 2011
• 
  Liming Zhang, Hai-Lin Zeng, Fang Yang, Dantong Ouyang:
  Dynamic theorem proving algorithm for consistency-based diagnosis. Expert Syst. Appl. 38(6): 7511-7516 (2011)
• 2010
• 
  Ernie Cohen, Bert Schirmer:
  From Total Store Order to Sequential Consistency: A Practical Reduction Theorem. ITP 2010: 403-418
• 2009
• 
  GuoJun Wang, QiaoLin Duan:
  Theory of (n) truth degrees of formulas in modal logic and a consistency theorem. Sci. China Ser. F Inf. Sci. 52(1): 70-83 (2009)
• 
  Yan-An Hwang, Yu-Hsien Liao:
  Equivalence theorem, consistency and axiomatizations of a multi-choice value. J. Glob. Optim. 45(4): 597-613 (2009)
• 2008
• 
  Sy-David Friedman, Pavel Ondrejovic:
  The internal consistency of Easton's theorem. Ann. Pure Appl. Log. 156(2-3): 259-269 (2008)
• 
  Robert F. Hadley:
  Consistency, Turing Computability and Gödel's First Incompleteness Theorem. Minds Mach. 18(1): 1-15 (2008)
• 
  Arthur W. Apter:
  Reducing the consistency strength of an indestructibility theorem. Math. Log. Q. 54(3): 288-293 (2008)
• 2007
• 
  Daniel Gâinâ, Andrei Popescu:
  An Institution-Independent Proof of the Robinson Consistency Theorem. Stud Logica 85(1): 41-73 (2007)
• 2006
• 
  Hongjun Zhou, Guo-Jun Wang:
  A new theory consistency index based on deduction theorems in several logic systems. Fuzzy Sets Syst. 157(3): 427-443 (2006)
• 
  Arief Daynes:
  A new technique for proving realisability and consistency theorems using finite paraconsistent models of cut-free logic. Math. Log. Q. 52(6): 540-554 (2006)
• 
  Jan Poland:
  The Missing Consistency Theorem for Bayesian Learning: Stochastic Model Selection. ALT 2006: 259-273
• 2004
• 
  Arnold Beckmann:
  Preservation theorems and restricted consistency statements in bounded arithmetic. Ann. Pure Appl. Log. 126(1-3): 255-280 (2004)
• 
  Marcelo S. Sarandy, Lian-Ao Wu, Daniel A. Lidar:
  Consistency of the Adiabatic Theorem. Quantum Inf. Process. 3(6): 331-349 (2004)
• 2003
• 
  Richard F. Paige, Jonathan S. Ostroff, Phillip J. Brooke:
  Theorem Proving Support for View Consistency Checking. Obj. Logiciel Base données Réseaux 9(4): 115-134 (2003)
• 
  Yuanlin Zhang, Roland H. C. Yap:
  Erratum: P. van Beek and R. Dechter's theorem on constraint looseness and local consistency. J. ACM 50(3): 277-279 (2003)
• 2001
• 
  Raymond D. Gumb:
  An Extended Joint Consistency Theorem for a Nonconstructive Logic of Partial Terms with Definite Descriptions. Stud Logica 69(2): 279-292 (2001)
• 2000
• 
  Oded Goldreich, Shmuel Safra:
  A Combinatorial Consistency Lemma with Application to Proving the PCP Theorem. SIAM J. Comput. 29(4): 1132-1154 (2000)
• 1997
• 
  Oded Goldreich, Shmuel Safra:
  A Combinatorial Consistency Lemma with Application to Proving the PCP Theorem. RANDOM 1997: 67-84
• 1996
• 
  J. Michael Spivey:
  The Consistency Theorem for Free Type Definitions in Z. Formal Aspects Comput. 8(3): 369-375 (1996)
• 
  Oded Goldreich, Shmuel Safra:
  A Combinatorial Consistency Lemma with application to the PCP Theorem. Electron. Colloquium Comput. Complex. 3(47) (1996)

skipping 15 more matches