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

• 2012
• 
  Philippe Balbiani:
  Deciding the word problem in pure double Boolean algebras. J. Appl. Log. 10(3): 260-273 (2012)
• 
  Roberta Ballarin:
  Quine on intensional entities: Modality and quantification, truth and satisfaction. J. Appl. Log. 10(3): 238-249 (2012)
• 
  Roberta Ballarin:
  Opacity and the double life of singular propositions. J. Appl. Log. 10(3): 250-259 (2012)
• 
  Achim Blumensath:
  Locality and modular Ehrenfeucht-Fraïssé games. J. Appl. Log. 10(1): 144-162 (2012)
• 
  Benedikt Bollig, Dietrich Kuske:
  An optimal construction of Hanf sentences. J. Appl. Log. 10(2): 179-186 (2012)
• 
  Adel Bouhoula, Florent Jacquemard:
  Sufficient completeness verification for conditional and constrained TRS. J. Appl. Log. 10(1): 127-143 (2012)
• 
  Imen Bourguiba, Belaid Moa:
  Improving the semantics of the Software Cost Reduction method. J. Appl. Log. 10(4): 410-418 (2012)
• 
  Emilio Corchado, Ajith Abraham, Václav Snásel, Javier Sedano, José Luís Calvo-Rolle, Laura García-Hernandez:
  Selected papers from the 6th International Conference on Soft Computing Models in Industrial and Environmental Applications. J. Appl. Log. 10(4): 275-276 (2012)
• 
  Bruno Courcelle, Irène Durand:
  Automata for the verification of monadic second-order graph properties. J. Appl. Log. 10(4): 368-409 (2012)
• 
  Murdoch James Gabbay:
  Unity in nominal equational reasoning: The algebra of equality on nominal sets. J. Appl. Log. 10(2): 199-217 (2012)
• 
  Sven Ove Hansson:
  Eradication. J. Appl. Log. 10(1): 75-84 (2012)
• 
  Aboul Ella Hassanien, Tai-Hoon Kim:
  Breast cancer MRI diagnosis approach using support vector machine and pulse coupled neural networks. J. Appl. Log. 10(4): 277-284 (2012)
• 
  María Jesús Jiménez-Come, Eva Muñoz, Rosa García, Victoria Matres, M. Luz Martín, Francisco Trujillo, Ignacio J. Turias:
  Pitting corrosion behaviour of austenitic stainless steel using artificial intelligence techniques. J. Appl. Log. 10(4): 291-297 (2012)
• 
  Laura Kovács, Temur Kutsia:
  Special issue on Automated Specification and Verification of Web Systems. J. Appl. Log. 10(1): 1 (2012)
• 
  Elisabetta Pastori:
  A note on two of Hrushovskiʼs constructions. J. Appl. Log. 10(1): 85-91 (2012)
• 
  Silvio do Lago Pereira, Leliane Nunes de Barros:
  A planner agent that tries its best in presence of nondeterminism. J. Appl. Log. 10(4): 419-430 (2012)
• 
  Giuseppe Primiero, Mariarosaria Taddeo:
  A modal type theory for formalizing trusted communications. J. Appl. Log. 10(1): 92-114 (2012)
• 
  Rosario Pugliese, Francesco Tiezzi:
  A calculus for orchestration of web services. J. Appl. Log. 10(1): 2-31 (2012)
• 
  Manuel J. C. S. Reis, Raul Morais, Emanuel Peres, Carlos Pereira, Olga Contente, Salviano F. S. P. Soares, António Valente, José Baptista, Paulo Jorge S. G. Ferreira, José Bulas-Cruz:
  Automatic detection of bunches of grapes in natural environment from color images. J. Appl. Log. 10(4): 285-290 (2012)
• 
  Daniel Rönnedal:
  Temporal alethic-deontic logic and semantic tableaux. J. Appl. Log. 10(3): 219-237 (2012)
• 
  Yuto Sakuma, Yasuhiko Minamide, Andrei Voronkov:
  Translating regular expression matching into transducers. J. Appl. Log. 10(1): 32-51 (2012)
• 
  Andrés Sanz-García, Alpha V. Pernía-Espinoza, R. Fernández-Martínez, Francisco J. Martínez de Pisón Ascacibar:
  Combining genetic algorithms and the finite element method to improve steel industrial processes. J. Appl. Log. 10(4): 298-308 (2012)
• 
  Renate A. Schmidt:
  The Ackermann approach for modal logic, correspondence theory and second-order reduction. J. Appl. Log. 10(1): 52-74 (2012)
• 
  Stephen A. Selesnick, Gareth S. Owen:
  Quantum-like logics and schizophrenia. J. Appl. Log. 10(1): 115-126 (2012)
• 
  Alwen Tiu, Alberto Momigliano:
  Cut elimination for a logic with induction and co-induction. J. Appl. Log. 10(4): 330-367 (2012)
• 
  Roger Villemaire, Sylvain Hallé:
  Reasoning about visibility. J. Appl. Log. 10(2): 163-178 (2012)
• 
  Simon Wells, C. A. Reed:
  A domain specific language for describing diverse systems of dialogue. J. Appl. Log. 10(4): 309-329 (2012)
• 
  Wenyan Xu, Sanyang Liu:
  The countable versus uncountable branching recurrences in computability logic. J. Appl. Log. 10(4): 431-446 (2012)
• 
  Mariusz Zynel:
  Correlations of spaces of pencils. J. Appl. Log. 10(2): 187-198 (2012)