Lines Matching refs:Formal

663   title =        "A Formal System for Information Retrieval from Files",
694   classcodes =   "C4210 (Formal logic)",
717   classcodes =   "C4210 (Formal logic)",
756   classcodes =   "C4210 (Formal logic); C6150C (Compilers, interpreters and other processors)",
1196   classcodes =   "C4210 (Formal logic)",
1203   title =        "Corrigenda: {``A Formal System for Information Retrieval from Files''}",
1587   classcodes =   "C4210 (Formal logic)",
2098   classcodes =   "C4210 (Formal logic)",
2332   classcodes =   "C4210 (Formal logic)",
2725   classcodes =   "C4210 (Formal logic); C7820 (Humanities computing)",
2745   classcodes =   "C4210 (Formal logic); C6150C (Compilers, interpreters and other processors)",
4080   classcodes =   "C4210 (Formal logic)",
4251   classcodes =   "C1230 (Artificial intelligence); C4210 (Formal logic)",
4416   classcodes =   "C4210 (Formal logic)",
4516   classcodes =   "C4210 (Formal logic)",
4525   title =        "A Language Extension for Graph Processing, and Its Formal Semantics",
6813   classcodes =   "C4210 (Formal logic)",
7735   classcodes =   "C4210 (Formal logic)",
9309   classcodes =   "C4210 (Formal logic); C6140 (Programming languages)",
9335   classcodes =   "C4210 (Formal logic); C6140 (Programming languages)",
10002   classcodes =   "C4210 (Formal logic); C7430 (Computer engineering)",
10783   classcodes =   "C1230 (Artificial intelligence); C4210 (Formal logic)",
10908   classcodes =   "C4210 (Formal logic)",
11216   classcodes =   "C4210 (Formal logic); C6120 (File organisation)",
11904 …classcodes =   "C4210 (Formal logic); C4220 (Automata theory); C6150C (Compilers, interpreters and…
12309   classcodes =   "C4210 (Formal logic)",
12615   classcodes =   "C4210 (Formal logic)",
13289   classcodes =   "C4210 (Formal logic); C6130 (Data handling techniques)",
13862   title =        "Formal Requirements for Virtualizable Third Generation Architectures",
13876 …abstract =     "A model of a third-generation-like computer system is developed. Formal techniques…
14274   classcodes =   "C4210 (Formal logic)",
15957   classcodes =   "B0290H (Linear algebra); C4140 (Linear algebra); C4210 (Formal logic)",
16234 …ctric signals); C4130 (Interpolation and function approximation); C4210 (Formal logic); C7330 (Bio…
16621 …classcodes =   "C4210 (Formal logic); C6130 (Data handling techniques); C6140D (High level languag…
16762   classcodes =   "C4210 (Formal logic)",
16772   title =        "Guarded Commands, Nondeterminacy and Formal Derivation of Programs",
16789   classcodes =   "C4210 (Formal logic)",
17455   classcodes =   "C4210 (Formal logic); C4240 (Programming and algorithm theory)",
17482   classcodes =   "C4210 (Formal logic); C4240 (Programming and algorithm theory)",
17751   classcodes =   "C4210 (Formal logic)",
18566   title =        "Formal Verification of Parallel Programs",
18612 …keywords =     "computer metatheory --- Formal Logic; computer programming languages; debugging; E…
18808   classcodes =   "C4210 (Formal logic)",
18860   classcodes =   "C4210 (Formal logic); C4220 (Automata theory); C6150J (Operating systems)",
18884   classcodes =   "C4210 (Formal logic)",
18997   classcodes =   "C4210 (Formal logic)",
19237   classcodes =   "C4210 (Formal logic)",
19958   classcodes =   "C4210 (Formal logic)",
20448   classcodes =   "C4210 (Formal logic); C6120 (File organisation)",
20974   classcodes =   "C4210 (Formal logic); C6140D (High level languages)",
20978 …mputer programming languages; Dataflow; formal languages; formal system; Formal Systems; iteration…
21231   classcodes =   "C4210 (Formal logic); C6140 (Programming languages)",
21474   classcodes =   "C4210 (Formal logic); C4220 (Automata theory)",
21724 …classcodes =   "C4210 (Formal logic); C4240 (Programming and algorithm theory); C6140D (High level…
22046   classcodes =   "C4210 (Formal logic); C4240 (Programming and algorithm theory)",
23195   classcodes =   "C4210 (Formal logic); C4240 (Programming and algorithm theory)",
24387 …classcodes =   "C4210 (Formal logic); C6150C (Compilers, interpreters and other processors); C6150…
25214   classcodes =   "C1230 (Artificial intelligence); C4210 (Formal logic)",