the following topics are dealt with: formal logic; model checking; process algebra; automata theory; game theory; quantum theory; theorem proving and computational complexity.
the following topics are dealt with: formal logic; model checking; process algebra; automata theory; game theory; quantum theory; theorem proving and computational complexity.
the proceedings contains 49 papers from the 1996 ieee 11thannualsymposium on logic in computerscience. Topics discussed include formal logic, formal languages, computer programming languages, mathematical programmi...
详细信息
the proceedings contains 49 papers from the 1996 ieee 11thannualsymposium on logic in computerscience. Topics discussed include formal logic, formal languages, computer programming languages, mathematical programming, logic programming, theorem proving, computational linguistics, computational complexity, finite automata, equivalence classes, mathematical models, algorithmic languages and set theory.
the proceedings contains 40 papers from the conference on 18thannualieeesymposium on logic in computerscience. the topics discussed include: proof nets for unit-free multiplicative-additive linear logic;about tran...
详细信息
the proceedings contains 40 papers from the conference on 18thannualieeesymposium on logic in computerscience. the topics discussed include: proof nets for unit-free multiplicative-additive linear logic;about translations of classical logic into polarized linear logic;reasoning about hierarchical storage;new directions in instantiation-based theorem proving;and abstract saturation-based inference.
the proceedings contains 48 papers. Topics discussed include logic in computerscience, finite models, model checking and verification, high definition languages, theorem proving and artificial intelligence, concurren...
详细信息
the proceedings contains 48 papers. Topics discussed include logic in computerscience, finite models, model checking and verification, high definition languages, theorem proving and artificial intelligence, concurrency, semantics, lambda calculus, unification and rewriting, linear logic, and origins and metamorpheses of logic, nets and automata.
the proceedings contains 40 papers from 17thannualieeesymposium on logic in computerscience. the topics discussed include: little engines of proof;automatic decidability;tree-like counterexamples in model checking...
详细信息
the proceedings contains 40 papers from 17thannualieeesymposium on logic in computerscience. the topics discussed include: little engines of proof;automatic decidability;tree-like counterexamples in model checking;a stratified semantics of general references embeddable in higher-order logic;a fully abstract may testing semantics for concurrent objects;on the lambda y calculus;some results on automatic structures and computational adequacy for recursive types in models of intuitionistic set theory.
the proceedings contains 39 papers from the 1997 ieee 12thannualsymposium on logic in computerscience. Topics discussed include: reduction orderings;Horn clauses;ground reducibility;Proof nets;linear logic;concurre...
详细信息
the proceedings contains 40 papers. the following topics are dealt with: computation theory;program logic and semantics;modal and temporal logics;calculus of constructions;lambda-calculus;proof systems;type theory;alg...
详细信息
ISBN:
(纸本)081862230X
the proceedings contains 40 papers. the following topics are dealt with: computation theory;program logic and semantics;modal and temporal logics;calculus of constructions;lambda-calculus;proof systems;type theory;algebras;databases;and distributed systems.
the following topics are dealt with: lambda and related calculi;computation theory;logic;logic programming;programming theory;concurrent computation;and programming language theory. Abstracts of individual papers can ...
详细信息
ISBN:
(纸本)0818627352
the following topics are dealt with: lambda and related calculi;computation theory;logic;logic programming;programming theory;concurrent computation;and programming language theory. Abstracts of individual papers can be found under the relevant classification codes in this or other issues.
the proceedings contains 53 papers on formal logic used in computerscience. Topics discussed include propositional and dynamic logics, finite automata, semantics, domain theory, concurrency, constructive mathematics,...
详细信息
ISBN:
(纸本)081866312X
the proceedings contains 53 papers on formal logic used in computerscience. Topics discussed include propositional and dynamic logics, finite automata, semantics, domain theory, concurrency, constructive mathematics, temporal logics, constraints, computational complexity, database theory, programming theory, lambda calculus, automated deduction and artificial intelligence.
暂无评论