Theoretical Computer Science - Proceedings Of The 4th Italian Conference

Inbunden, Engelska, 1992

AvET AL. A MARCHETTI-SPACCAMELA,P Mentrasti,Alberto Marchetti Spaccamela,Marisa Venturini Zilli

2 789 kr

Tillfälligt slut

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.

Produktinformation

Utgivningsdatum1992-10-01
FormatInbunden
SpråkEngelska
Antal sidor372
FörlagWorld Scientific Publishing Co Pte Ltd
ISBN9789810212582

Tillhör följande kategorier

Programmeringsböcker inom Data och IT
Systemvetenskap och AI inom Data och IT

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)