BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
exist (2)
specif (2)
structur (1)
modulo (1)
term (1)

Stem foral$ (all stems)

5 papers:

RTARTA-1999-Marcinkowski #algebra #formal method
Undecidability of the exists*forall* Part of the Theory of Ground Term Algebra Modulo an AC Symbol (JM), pp. 92–102.
CADECADE-1994-ChazarainK #induction #proving
Mechanizable Inductive Proofs for a Class of Forall Exists Formulas (JC, EK), pp. 118–132.
POPLPOPL-1987-MannaP #concurrent #source code #specification #verification
Specification and Verification of Concurrent Programs By Forall-Automata (ZM, AP), pp. 1–12.
VLDBVLDB-1978-Senko #design #implementation
FORAL LP: Design and Implementation (MES), pp. 255–267.
VLDBVLDB-1975-Senko #data type #specification
Specification of Stored Data Structures and Desired Output Results in DIAM II with FORAL (MES), pp. 557–571.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.