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 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 40 papers from the conference on 18th annualieeesymposium 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 18th annualieeesymposium 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 49 papers from the 1996 ieee 11th annualsymposium 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 11th annualsymposium 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 symposium materials contain 43 papers. The topics covered include type theory, deduction, semantics, modal and temporal logics, finite-model theory, logic programming, imperfect information flow, lambda calculus, ...
详细信息
ISBN:
(纸本)0818631422
The symposium materials contain 43 papers. The topics covered include type theory, deduction, semantics, modal and temporal logics, finite-model theory, logic programming, imperfect information flow, lambda calculus, complexity and databases, recursion, and concurrency.
The proceedings contains 40 papers from 17th annualieeesymposium 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 17th annualieeesymposium 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 46 papers from the NINETEENTH annualieeesymposium on logic in computerscience. The papers discussed include: model checking synchronized products product of infinite transition systems;mode...
详细信息
The proceedings contains 46 papers from the NINETEENTH annualieeesymposium on logic in computerscience. The papers discussed include: model checking synchronized products product of infinite transition systems;model checking probabilistic pushdown automata;transition invariants;automatic structures: richness and limitations;the geometry of linear ramified recurrence;separation and the Lambdamu-Calculus;a computational interpretation of open induction and lazy structures preserving translation of boolean expressions into CNF.
The proceedings contains 39 papers from the 1997 ieee 12th annualsymposium on logic in computerscience. Topics discussed include: reduction orderings;Horn clauses;ground reducibility;Proof nets;linear logic;concurre...
详细信息
暂无评论