Journal of Logical and Algebraic Methods in Programming · 2015 · 22 citations · 19 references
ComputingComputer ScienceMathematicsAlgebraAutomata TheoryBoolean AlgebraFinite AutomataFormal LanguagesModel CheckingModel TheoryFinite Automata TheoryKleene Logic
19
Introduction to automata theory, languages, and computation
Computer Languages · 1980 · 6.9K citations
Separation logic: a logic for shared mutable data structures
John Reynolds · 2003 · 2.2K citations
Effect algebras and unsharp quantum logics
David J. Foulis, M. K. Bennett · Foundations of Physics · 1994 · 868 citations
Computing, Computer Science, Physics +10
Hiroyuki Nakano, S. Romberger · 1974 · 670 citations