Theoretical Computer Science - Proceedings Of The 4th Italian Conference

AvET AL. A MARCHETTI-SPACCAMELA,P Mentrasti

Inbunden, Engelska, 1992

2 145 kr

Tillfälligt slut

Beskrivning

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

Utgivningsdatum:1992-10-01
Format:Inbunden
Språk:Engelska
Antal sidor:372
Förlag:World Scientific Publishing Co Pte Ltd
ISBN:9789810212582

Utforska kategorier

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

Innehållsförteckning

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)