Rule-based verification of Web sites

Introduction to automata theory, languages and computation

Mathematics and Computers in Simulation · 1981 · 10.8K citations

Logical Automaton, Engineering, Automated Reasoning +5

J.E.Hopcroft, J.D. Ullman 著, "Introduction to Automata Theory, Languages, and Computation", Addison-Wesley, A5変形版, X+418, \6,670, 1979

悦朗 守屋 · 情報処理 · 1980 · 1.8K citations

Theory Of Computing, Logical Automaton, Engineering +8

Term rewriting systems

Jan Willem Klop · Data Archiving and Networked Services (DANS) · 1990 · 780 citations

A query language and optimization techniques for unstructured data

Peter Buneman, Susan B. Davidson, Gerd G. Hillebrand et al. · 1996 · 535 citations

Relational Database, Engineering, Semantic Web +19

Computing simulations on finite and infinite graphs

Monika Henzinger, Thomas A. Henzinger, Peter W. Kopke · 2002 · 477 citations · Full text

Labeled Graphs, Engineering, Verification +21