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

• 1994
• 
  Sten Agerholm:
  LCF Examples in HOL. TPHOLs 1994: 1-16
• 
  Flemming Andersen, Kim Dam Petersen, Jimmi S. Pettersson:
  A Graphical Tool for Proving Unity Progress. TPHOLs 1994: 17-32
• 
  Catia M. Angelo, Luc J. M. Claesen, Hugo De Man:
  Reasoning About a Class of Linear Systems of Equations in HOL. TPHOLs 1994: 33-48
• 
  Jean-Paul Bodeveix, Mamoun Filali, P. Roche:
  Towards a HOL Theory and Memory. TPHOLs 1994: 49-64
• 
  Stephen H. Brackin:
  Providing Tractable Security Analysis in HOL. TPHOLs 1994: 65-80
• 
  N. G. de Bruijn:
  Highlighting the Lambda-free Fragment of Automath. TPHOLs 1994: 81-96
• 
  Holger Busch:
  First-Order Automation for Higher-Order-Logic Theorem Proving. TPHOLs 1994: 97-112
• 
  Juanito Camilleri, Vincent Zammit:
  Symbolic Animation as a Proof Tool. TPHOLs 1994: 113-127
• 
  Nick Chapman, Simon Finn, Michael P. Fourman:
  Datatypes in L2. TPHOLs 1994: 128-143
• 
  Ching-Tsun Chou:
  A Formal Theory of Undirected Graphs in Higher-Order Logic. TPHOLs 1994: 144-157
• 
  Ching-Tsun Chou:
  Mechanical Verification of Distributed Algorithms in Higher-Order Logic. TPHOLs 1994: 158-176
• 
  Paul Curzon:
  Tracking Design Changes with Formal Verification. TPHOLs 1994: 177-192
• 
  Thomas Forster:
  Weak Systems of Set Theory Related to HOL. TPHOLs 1994: 193-204
• 
  David A. Fura, Arun K. Somani:
  Interval-Semantic Component Models and the Efficient Verification of Transaction-Level Circiut Behavior. TPHOLs 1994: 205-220
• 
  Brian T. Graham:
  An Interpretation of NODEN in HOL. TPHOLs 1994: 221-234
• 
  Keith Hanna:
  Reasoning about Real Circuits. TPHOLs 1994: 235-253
• 
  John Harrison:
  Binary Decision Diagrams as a HOL Derived Rule. TPHOLs 1994: 254-268
• 
  Peter V. Homeier, David F. Martin:
  Trustworthy Tools for Trustworthy Programs: A Verified Verification Condition Generator. TPHOLs 1994: 269-284
• 
  Jeffrey J. Joyce, Nancy A. Day, Michael R. Donat:
  S: A Machine Readable Specification Notation based on Higher Order Logic. TPHOLs 1994: 285-299
• 
  Thomas Långbacka:
  A HOL Formalisation of the Temporal Logic of Actions. TPHOLs 1994: 332-345
• 
  Mats Larsson:
  An Engineering Approach to Formal Digital System Design. TPHOLs 1994: 300-315
• 
  Juin-Yeu Lu, Shiu-Kai Chin:
  Generating Designs Using an Algorithmic Register Transfer Language with Formal Semantics. TPHOLs 1994: 316-331
• 
  Savi Maharaj, Elsa L. Gunter:
  Studying the ML Module System in Hol. TPHOLs 1994: 346-361
• 
  I. S. W. B. Prasetya:
  Towards a Mechanically Supported and Compositional Calculus to Design Destributed Algorithms. TPHOLs 1994: 362-377
• 
  Ralf Reetz, Thomas Kropf:
  Simplifying Deep Embedding: A Formalised Code Generator. TPHOLs 1994: 378-390
• 
  Klaus Schneider, Ramayya Kumar, Thomas Kropf:
  Automating Verification by Functional Abstraction at the System Level. TPHOLs 1994: 391-406
• 
  Konrad Slind:
  A Parameterized Proof Manager. TPHOLs 1994: 407-423
• 
  Sofiène Tahar, Ramayya Kumar:
  Implementational Issues for Verifying RISC-Pipeline Conflicts in HOL. TPHOLs 1994: 424-439
• 
  Phillip J. Windley:
  Specifying Instruction-Set Architectures in HOL: A Primer. TPHOLs 1994: 440-455
• 
  Joakim von Wright:
  Representing Higher-Order Logic Proofs in HOL. TPHOLs 1994: 456-470

skipping 1 more match