Theoretical Computer Science - Proceedings of the 4th Italian Conference

Mentrasti, P (EDT)/ Spaccamela, Alberto Marchetti (EDT)/ Zilli, Marisa Venturini (EDT)

World Scientific Publishing Co Pte Ltd（1992/10発売）

• 製本 Hardcover:ハードカバー版／ページ数 372 p.
• 言語 ENG
• 商品コード 9789810212582
• DDC分類 004

Full Description

This volume is an up-to-date record of Italian research on theoretical computer science. The main topics featured are: algorithms and complexity, automata and formal languages, concurrency, databases, logic, functional and object-oriented programming, parallel algorithms and architectures, semantics of programming languages, rewriting systems, and others.

Contents

An algebraic framework for generalized semantics of logic programs, M. Gabbrielli et al; an incremental semantics for CLP(AD), E. Bertino et al; k mu-DNF formulae are learnable under product distribution, M. Flammini; maximal repetition of subwords in DOL languages (abstract), F. Mignosi amd D. Seebold; towards more realistic models of parallel computers (abstract), A.K. Chandra; an extensional formulation of ST Bisimulation, R. Gorrieri and C. Laneve; reversible simulation of space-bounded computation, P. Crescenzi and C.H. Papadimitriou; on reductions and approximations in parallel algebraic complexity, B. Codenotti et al. (Part contents)