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

• 2015
• 
  Stephan Falke, Deepak Kapur:
  When Is a Formula a Loop Invariant? Logic, Rewriting, and Concurrency 2015: 264-286
• 
  Luis Aguirre, Narciso Martí-Oliet, Miguel Palomino, Isabel Pita:
  Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude. Logic, Rewriting, and Concurrency 2015: 48-71
• 
  María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña:
  Combining Runtime Checking and Slicing to Improve Maude Error Diagnosis. Logic, Rewriting, and Concurrency 2015: 72-96
• 
  Thomas J. Anastasio:
  Computer Modeling in Neuroscience: From Imperative to Declarative Programming - Maude Modeling in Neuroscience. Logic, Rewriting, and Concurrency 2015: 97-113
• 
  Kyungmin Bae, Peter Csaba Ölveczky:
  Hybrid Multirate PALS. Logic, Rewriting, and Concurrency 2015: 114-134
• 
  Massimo Bartoletti, Pierpaolo Degano, Paolo Di Giamberardino, Roberto Zunino:
  Debits and Credits in Petri Nets and Linear Logic. Logic, Rewriting, and Concurrency 2015: 135-159
• 
  David A. Basin, Michel Keller, Sasa Radomirovic, Ralf Sasse:
  Alice and Bob Meet Equational Theories. Logic, Rewriting, and Concurrency 2015: 160-180
• 
  Maria Paola Bonacina, Ulrich Furbach, Viorica Sofronie-Stokkermans:
  On First-Order Model-Based Reasoning. Logic, Rewriting, and Concurrency 2015: 181-204
• 
  Roberto Bruni, Hernán C. Melgratti, Ugo Montanari:
  A Normal Form for Stateful Connectors. Logic, Rewriting, and Concurrency 2015: 205-227
• 
  Shuo Chen:
  Enlightening Ph.D. Students with the Elegance of Logic - My Personal Memory About Prof. José Meseguer. Logic, Rewriting, and Concurrency 2015: 228-231
• 
  Manuel Clavel, Francisco Durán, Steven Eker, Santiago Escobar, Patrick Lincoln, Narciso Martí-Oliet, Carolyn L. Talcott:
  Two Decades of Maude. Logic, Rewriting, and Concurrency 2015: 232-254
• 
  Erwin Engeler:
  Formal Universes. Logic, Rewriting, and Concurrency 2015: 255-263
• 
  Kokichi Futatsugi:
  Generic Proof Scores for Generate & Check Method in CafeOBJ. Logic, Rewriting, and Concurrency 2015: 287-310
• 
  Raúl Gutiérrez, Salvador Lucas:
  Function Calls at Frozen Positions in Termination of Context-Sensitive Rewriting. Logic, Rewriting, and Concurrency 2015: 311-330
• 
  Rolf Hennicker, Annabelle Klarl, Martin Wirsing:
  Model-Checking Helena Ensembles with Spin. Logic, Rewriting, and Concurrency 2015: 331-360
• 
  Yazmín Angélica Ibáñez-García, Till Mossakowski, Donald Sannella, Andrzej Tarlecki:
  Modularity of Ontologies in an Arbitrary Institution. Logic, Rewriting, and Concurrency 2015: 361-379
• 
  Hélène Kirchner:
  Rewriting Strategies and Strategic Rewrite Programs. Logic, Rewriting, and Concurrency 2015: 380-403
• 
  Michael LeMay, Carl A. Gunter:
  Network-on-Chip Firewall: Countering Defective and Malicious System-on-Chip Hardware. Logic, Rewriting, and Concurrency 2015: 404-426
• 
  Alberto Lluch-Lafuente, Flemming Nielson, Hanne Riis Nielson:
  Discretionary Information Flow Control for Interaction-Oriented Specifications. Logic, Rewriting, and Concurrency 2015: 427-450
• 
  Dorel Lucanu, Vlad Rusu, Andrei Arusoaie, David Nowak:
  Verifying Reachability-Logic Properties on Rewriting-Logic Specifications. Logic, Rewriting, and Concurrency 2015: 451-474
• 
  Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn L. Talcott:
  José Meseguer: Scientist and Friend Extraordinaire. Logic, Rewriting, and Concurrency 2015: 1-47
• 
  Catherine Meadows:
  Emerging Issues and Trends in Formal Methods in Cryptographic Protocol Analysis: Twelve Years Later. Logic, Rewriting, and Concurrency 2015: 475-492
• 
  Jayadev Misra:
  A Denotational Semantic Theory of Concurrent Systems. Logic, Rewriting, and Concurrency 2015: 493-518
• 
  Peter D. Mosses, Ferdinand Vesely:
  Weak Bisimulation as a Congruence in MSOS. Logic, Rewriting, and Concurrency 2015: 519-538
• 
  Marisa Navarro, Fernando Orejas, Elvira Pino:
  Satisfiability of Constraint Specifications on XML Documents. Logic, Rewriting, and Concurrency 2015: 539-561
• 
  Stefanie Neubert, Lenz Belzner, Martin Wirsing:
  Algebraic Reinforcement Learning - Hypothesis Induction for Relational Reinforcement Learning Using Term Generalization. Logic, Rewriting, and Concurrency 2015: 562-579
• 
  Camilo Rocha:
  The Formal System of Dijkstra and Scholten. Logic, Rewriting, and Concurrency 2015: 580-597
• 
  Grigore Rosu:
  From Rewriting Logic, to Programming Language Semantics, to Program Verification. Logic, Rewriting, and Concurrency 2015: 598-616
• 
  Samuel B. Wood, James Mathewson, Joshua Joy, Mark-Oliver Stehr, Minyoung Kim, Ashish Gehani, Mario Gerla, Hamid R. Sadjadpour, J. J. Garcia-Luna-Aceves:
  ICEMAN: A Practical Architecture for Situational Awareness at the Network Edge. Logic, Rewriting, and Concurrency 2015: 617-631
• 
  Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn L. Talcott:
  Logic, Rewriting, and Concurrency - Essays dedicated to José Meseguer on the Occasion of His 65th Birthday. Lecture Notes in Computer Science 9200, Springer 2015, ISBN 978-3-319-23164-8 [contents]