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

• 2017
• 
  Alicia Villanueva:
  Proceedings XVI Jornadas sobre Programación y Lenguajes, PROLE 2016, Salamanca, Spain, 14-16th September 2016. EPTCS 237, 2017 [contents]
• 2016
• 
  Paqui Lucio:
  A Tutorial on Using Dafny to Construct Verified Software. PROLE 2016: 1-19
• 
  Edelmira Pasarella, Maria-Esther Vidal, Cristina Zoltan:
  Comparing MapReduce and Pipeline Implementations for Counting Triangles. PROLE 2016: 20-33
• 
  Ricardo Peña:
  An Introduction to Liquid Haskell. PROLE 2016: 68-80
• 
  Salvador Tamarit, Julio Mariño, Guillermo Vigueras, Manuel Carro:
  Towards a Semantics-Aware Code Transformation Toolchain for Heterogeneous Systems. PROLE 2016: 34-51
• 
  Guillermo Vigueras, Manuel Carro, Salvador Tamarit, Julio Mariño:
  Towards Automatic Learning of Heuristics for Mechanical Transformations of Procedural Code. PROLE 2016: 52-67
• 2015
• 
  María Alpuente, Daniel Pardo, Alicia Villanueva:
  Automatic Inference of Specifications in the K Framework. PROLE 2015: 1-17
• 
  Salvador Lucas:
  Termination of canonical context-sensitive rewriting and productivity of rewrite systems. PROLE 2015: 18-31
• 
  Salvador Lucas:
  Synthesis of models for order-sorted first-order theories using linear algebra and constraint solving. PROLE 2015: 32-47
• 
  David Romero-Hernández, David de Frutos-Escrig, Dario Della Monica:
  Proving Continuity of Coinductive Global Bisimulation Distances: A Never Ending Story. PROLE 2015: 48-63
• 
  Fernando Sáenz-Pérez:
  Restricted Predicates for Hypothetical Datalog. PROLE 2015: 64-79
• 
  Santiago Escobar:
  Proceedings XIV Jornadas sobre Programación y Lenguajes, PROLE 2014, Cadiz, Spain, September 16-19, 2014. EPTCS 173, 2015 [contents]
• 
  Marisa Navarro:
  Proceedings XV Jornadas sobre Programación y Lenguajes, PROLE 2015, Santander, Spain, 15-17th September 2015. EPTCS 200, 2015 [contents]
• 2014
• 
  Damián Adalid, María-del-Mar Gallardo, Laura Titolo:
  Modeling Hybrid Systems in the Concurrent Constraint Paradigm. PROLE 2014: 1-15
• 
  Julián Alarte, David Insa, Josep Silva, Salvador Tamarit:
  Web Template Extraction Based on Hyperlink Analysis. PROLE 2014: 16-26
• 
  Javier Albors, Marisa Navarro:
  SpecSatisfiabilityTool: A tool for testing the satisfiability of specifications on XML documents. PROLE 2014: 27-40
• 
  Jesús Manuel Almendros-Jiménez:
  XQOWL: An Extension of XQuery for OWL Querying and Reasoning. PROLE 2014: 41-55
• 
  Fernando Berzal Galiano, Francisco J. Cortijo, Juan C. Cubero, Luis Quesada:
  The ModelCC Model-Driven Parser Generator. PROLE 2014: 56-70
• 
  Pascual Julián Iranzo, Ginés Moreno, Jaime Penabad, Carlos Vázquez:
  A Fuzzy Logic Programming Environment for Managing Similarity and Truth Degrees. PROLE 2014: 71-86
• 
  Adrián Riesco, Juan Rodríguez-Hortalá:
  Lifting Term Rewriting Derivations in Constructor Systems by Using Generators. PROLE 2014: 87-99
• 
  Fernando Sáenz-Pérez:
  Improving the Deductive System DES with Persistence by Using SQL DBMS's. PROLE 2014: 100-114
• 2012
• 
  Puri Arenas, Víctor M. Gulías:
  Proceedings of the XI Spanish Conference on Programming and Languages, PROLE 2011, A Coruña, Spain, September 5-7, 2011. Electronic Notes in Theoretical Computer Science 282, Elsevier 2012 [contents]
• 2011
• 
  Jesús Manuel Almendros-Jiménez, Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez:
  XPath Query Processing in a Functional-Logic Language. PROLE 2011: 19-34
• 
  Jesús Manuel Almendros-Jiménez, Alejandro Luna, Ginés Moreno:
  Fuzzy Logic Programming for Implementing a Flexible XPath-based Query Language. PROLE 2011: 3-18
• 
  Puri Arenas, Víctor M. Gulías:
  Preface. PROLE 2011: 1-2
• 
  Ana María Fernández-Soriano, Julio Mariño, Ángel Herranz-Nieva:
  A Tool for the Integration of Constraint Solving in Spreadsheets. PROLE 2011: 35-45
• 
  David Insa, Josep Silva:
  Implementation of an Optimal Strategy for Algorithmic Debugging. PROLE 2011: 47-60
• 
  Isabel Pita, Adrián Riesco:
  A Tool for Testing Data Type Implementations from Maude Algebraic Specifications. PROLE 2011: 61-71
• 
  Fernando Sáenz-Pérez:
  Outer Joins in a Deductive Database System. PROLE 2011: 73-88
• 
  Víctor M. Gulías, Josep Silva Galiana:
  Proceedings of the Tenth Spanish Conference on Programming and Languages, PROLE 2010, Valencia, Spain, September 8-10, 2010. Electronic Notes in Theoretical Computer Science 271, Elsevier 2011 [contents]

skipping 60 more matches