• 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 58 matches

• 2015
• 
  Giorgio Audrito, Alexandru I. Tomescu, Stephan G. Wagner:
  Enumeration of the adjunctive hierarchy of hereditarily finite sets. J. Log. Comput. 25(3): 943-963 (2015)
• 
  Arnold Beckmann, Norbert Preining:
  Separating intermediate predicate logics of well-founded and dually well-founded structures by monadic sentences. J. Log. Comput. 25(3): 527-547 (2015)
• 
  Lawrence Peter Belluce, Antonio Di Nola, Giacomo Lenzi:
  On generalizing the Nullstellensatz for MV algebras. J. Log. Comput. 25(3): 701-717 (2015)
• 
  Guram Bezhanishvili, Nick Bezhanishvili, John Harding:
  Modal compact Hausdorff spaces. J. Log. Comput. 25(1): 1-35 (2015)
• 
  Nils Bulling, Matei Popovici:
  A game-theoretic approach to compute stable topologies in mobile ad hoc networks. J. Log. Comput. 25(3): 639-667 (2015)
• 
  Leonardo Manuel Cabrer, Daniele Mundici:
  A Stone-Weierstrass theorem for MV-algebras and unital ℓ-groups. J. Log. Comput. 25(3): 683-699 (2015)
• 
  Xavier Caicedo, Ricardo Oscar Rodríguez:
  Bi-modal Gödel logic over [0, 1]-valued Kripke frames. J. Log. Comput. 25(1): 37-55 (2015)
• 
  Martin W. A. Caminada, Massimiliano Giacomin:
  Introducing the Special Issue on 20 Years of Argument-Based Inference. J. Log. Comput. 25(2): 243-249 (2015)
• 
  Alessandra Carbone, Fernando Ferreira, Benedikt Löwe, Elvira Mayordomo:
  Computability in Europe 2010. J. Log. Comput. 25(4): 983-985 (2015)
• 
  Alexander Clark:
  The syntactic concept lattice: Another algebraic theory of the context-free languages? J. Log. Comput. 25(5): 1203-1229 (2015)
• 
  Stefania Costantini, Federico Gobbo:
  Elio Lanzarone: a life for science. J. Log. Comput. 25(6): 1371-1378 (2015)
• 
  Marcello D'Agostino, Luciano Floridi:
  The logic and philosophy of information corner: Presentation and call for papers. J. Log. Comput. 25(3): 525-526 (2015)
• 
  Edgar G. Daylight:
  From mathematical logic to programming-language semantics: a discussion with Tony Hoare. J. Log. Comput. 25(4): 1091-1110 (2015)
• 
  Vincent Demange:
  Pedagogical lambda-cube: the λ² case. J. Log. Comput. 25(3): 743-779 (2015)
• 
  Zoltán Ésik:
  Residuated Park theories. J. Log. Comput. 25(2): 453-471 (2015)
• 
  Santiago Figueira, Denis R. Hirschfeldt, Joseph S. Miller, Keng Meng Ng, André Nies:
  Counting the changes of random Δ20 sets. J. Log. Comput. 25(4): 1073-1089 (2015)
• 
  Fabio Fioravanti, Maurizio Proietti, Valerio Senni:
  Efficient generation of test data structures using constraint logic programming and program transformation. J. Log. Comput. 25(6): 1263-1283 (2015)
• 
  Camillo Fiorentini:
  Terminating sequent calculi for proving and refuting formulas in S4. J. Log. Comput. 25(1): 179-205 (2015)
• 
  George H. L. Fletcher, Marc Gyssens, Dirk Leinders, Jan Van den Bussche, Dirk Van Gucht, Stijn Vansummeren:
  Similarity and bisimilarity notions appropriate for characterizing indistinguishability in fragments of the calculus of relations. J. Log. Comput. 25(3): 549-580 (2015)
• 
  Dov M. Gabbay, Christian Straßer:
  Reactive standard deontic logic. J. Log. Comput. 25(1): 117-157 (2015)
• 
  Murdoch James Gabbay, Claus-Peter Wirth:
  Quantifiers in logic and proof-search using permissive-nominal terms and sets. J. Log. Comput. 25(2): 473-523 (2015)
• 
  Daniel Gâinâ, Kokichi Futatsugi:
  Initial semantics in logics with constructors. J. Log. Comput. 25(1): 95-116 (2015)
• 
  Marco Gavanelli, Maddalena Nonato, Andrea Peano:
  An ASP approach for the valves positioning optimization in a water distribution system. J. Log. Comput. 25(6): 1351-1369 (2015)
• 
  Misha Gavrilovich, Assaf Hasson, Itay Kaplan:
  The Univalence Axiom in posetal model categories. J. Log. Comput. 25(3): 669-682 (2015)
• 
  Raffaella Gentilini, Carla Piazza, Alberto Policriti:
  Rank and simulation: the well-founded case. J. Log. Comput. 25(6): 1331-1349 (2015)
• 
  Laura Giordano, Alberto Martelli, Daniele Theseider Dupré:
  Achieving completeness in the verification of action theories by Bounded Model Checking in ASP. J. Log. Comput. 25(6): 1307-1330 (2015)
• 
  Miika Hannula, Juha Kontinen:
  Hierarchies in independence and inclusion logic with strict semantics. J. Log. Comput. 25(3): 879-897 (2015)
• 
  Sven Ove Hansson:
  Representing supererogation. J. Log. Comput. 25(2): 443-451 (2015)
• 
  Frederik S. Herzberg:
  Universal algebra for general aggregation theory: Many-valued propositional-attitude aggregators as MV-homomorphisms. J. Log. Comput. 25(3): 965-977 (2015)
• 
  Frederik Herzberg:
  Corrigendum and addendum to 'Universal algebra for general aggregation theory'. J. Log. Comput. 25(3): 979-982 (2015)

skipping 28 more matches