top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Mathematical foundations of computer science, 1990 [electronic resource] : Banská Bystrica, Czechoslovakia, August 27-31, 1990 : proceedings / B. Rovan, ed.
Mathematical foundations of computer science, 1990 [electronic resource] : Banská Bystrica, Czechoslovakia, August 27-31, 1990 : proceedings / B. Rovan, ed.
Estensione 1 online resource (viii, 544 pages) : illustrations.
Disciplina 004/.01/51
Accesso persona Rovan, B. (Branislav)
Accesso convegno Symposium on Mathematical Foundations of Computer Science (1972- ) (15th : 1990 : Banská Bystrica, Czechoslovakia)
Genere/Forma Electronic books
Conference papers and proceedings
Congressen (vorm)
ISBN 9783540471851
3540471855
3540529535
9783540529538
0387529535
9780387529530
Classificazione 54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. NYU-004368195
Materiale a stampa
Lo trovi qui: New York University
Mathematical foundations of computer science, 1990 : Banská Bystrica, Czechoslovakia, August 27-31, 1990 : proceedings / B. Rovan, ed.
Mathematical foundations of computer science, 1990 : Banská Bystrica, Czechoslovakia, August 27-31, 1990 : proceedings / B. Rovan, ed.
Estensione 1 online resource (viii, 544 pages) : illustrations.
Disciplina 004/.01/51
Accesso persona Rovan, B. (Branislav)
Accesso convegno Symposium on Mathematical Foundations of Computer Science (1972- ) (15th : 1990 : Banská Bystrica, Czechoslovakia)
ISBN 9783540471851
3540471855
3540529535
9783540529538
0387529535
9780387529530
Classificazione 54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UALBERTA-7982236
Materiale a stampa
Lo trovi qui: University of Alberta / NEOS Library Consortium
Mathematical foundations of computer science, 1990 : Banská Bystrica, Czechoslovakia, August 27-31, 1990 : proceedings / B. Rovan, ed.
Mathematical foundations of computer science, 1990 : Banská Bystrica, Czechoslovakia, August 27-31, 1990 : proceedings / B. Rovan, ed.
Estensione viii, 544 p. : ill. ; 24 cm.
Accesso persona Rovan, B. (Branislav)
Accesso convegno Symposium on Mathematical Foundations of Computer Science (1972- ) (15th : 1990 : Banská Bystrica, Czechoslovakia)
ISBN 3540529535 :
0387529535
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UPENN-9916815073503681
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Mathematical foundations of computer science, 1990 : Banská Bystrica, Czechoslovakia, August 27-31, 1990 : proceedings / B. Rovan, ed.
Mathematical foundations of computer science, 1990 : Banská Bystrica, Czechoslovakia, August 27-31, 1990 : proceedings / B. Rovan, ed.
Estensione viii, 544 p. : ill. ; 24 cm.
Accesso persona Rovan, B. (Branislav)
Accesso convegno Symposium on Mathematical Foundations of Computer Science (1972- ) (15th : 1990 : Banská Bystrica, Czechoslovakia)
ISBN 3540529535 :
0387529535
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. YALE-3099547
Materiale a stampa
Lo trovi qui: Yale University
Mathematical foundations of computer science, 1990 : Banská Bystrica, Czechoslovakia, August 27-31, 1990 : proceedings / B. Rovan (Ed.)
Mathematical foundations of computer science, 1990 : Banská Bystrica, Czechoslovakia, August 27-31, 1990 : proceedings / B. Rovan (Ed.)
Estensione viii, 544 p. : ill. ; 24 cm.
Disciplina 004/.01/51
Accesso persona Rovan, B. (Branislav)
Accesso convegno Symposium on Mathematical Foundations of Computer Science (1972- ) (15th : 1990 : Banská Bystrica, Slovakia)
ISBN 3540529535 :
0387529535
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. DUKE-000953791
Materiale a stampa
Lo trovi qui: Duke University
Mathematical foundations of computer science, 1990 : Banská Bystrica, Czechoslovakia, August 27-31, 1990 : proceedings / B. Rovan, ed.
Mathematical foundations of computer science, 1990 : Banská Bystrica, Czechoslovakia, August 27-31, 1990 : proceedings / B. Rovan, ed.
Estensione 1 online resource (viii, 544 pages) : illustrations.
Accesso persona Rovan, B. (Branislav)
Accesso convegno Symposium on Mathematical Foundations of Computer Science (1972- ) (15th : 1990 : Banská Bystrica, Czechoslovakia)
Genere/Forma Electronic books
Conference papers and proceedings
Congressen (vorm)
ISBN 9783540471851
3540471855
3540529535
9783540529538
0387529535
9780387529530
Classificazione 54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-11075413
Materiale a stampa
Lo trovi qui: University of Chicago
Mathematical foundations of computer science, 1990 : Banská Bystrica, Czechoslovakia, August 27-31, 1990 : proceedings / B. Rovan, ed.
Mathematical foundations of computer science, 1990 : Banská Bystrica, Czechoslovakia, August 27-31, 1990 : proceedings / B. Rovan, ed.
Estensione 1 online resource (viii, 544 pages) : illustrations
Disciplina 004/.01/51
Accesso persona Rovan, B. (Branislav)
Accesso convegno Symposium on Mathematical Foundations of Computer Science (1972- ) (15th : 1990 : Banská Bystrica, Czechoslovakia)
ISBN 9783540471851
3540471855
3540529535
9783540529538
0387529535
9780387529530
Classificazione 54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto A logical operational semantics of full Prolog -- Syntactic theories -- On kleene algebras and closed semirings -- Interactive computations of optimal solutions -- Restricted branching programs and their computational power -- Dynamic hashing strategies -- One-way functions in complexity theory -- Type inference problems: A survey -- Counting the number of solutions -- Implementation of parallel graph reduction by explicit annotation and program transformation -- Interrogative complexity of?-languages' recognition -- On the power of uniform families of constant depth threshold circuits -- Separating sets of hyperrectangles -- On preemptive scheduling of periodic, real-time tasks on one processor -- Retractions in comparing prolog semantics (extended abstract) -- Using inductive counting to simulate nondeterministic computation -- Some properties of zerotesting bounded one-way multicounter machines -- On fast algorithms for two servers -- Decomposition of semi commutations -- Parallel construction of minimal suffix and factor automata -- Affine automata: A technique to generate complex images -- The complexity of symmetric functions in parity normal forms -- Event structures, causal trees, and refinements -- Query languages which express all PTIME queries for trees and unicyclic graphs -- Comparisons among classes of Y-tree systolic automata -- On checking versus evaluation of multiple queries -- Generalized kolmogorov complexity in relativized separations -- A first-order logic for partial recursive functions -- Speed-up theorem without tape compression -- On possibilities of one-way synchronized and alternating automata -- Unrestricted resolution versus N-resolution -- Quality criteria for partial order semantics of place/transition-nets -- Tree-stack automata -- Specification & verification of higher order processes -- The membership problem for context-free chain code picture languages -- Optimal algorithms for dissemination of information in some interconnection networks -- A hierarchy of compositional models of I/O-automata (Extended Abstract) -- Minimal nontrivial space complexity of probabilistic one- way turing machines -- On the complexity of genuinely polynomial computation -- Pumping lemmrs for tree languages generated by rewrite systems -- Vector language: Simple description of hard instances -- Separating?L from L, NL, co-NL and AL (=P) for Oblivious turing machines of linear access time -- The use of graphs of elliptical influence in visual hierarchical clustering -- Characterizing unambiguous augmented pushdown automata by circuits -- Rational?-transductions -- Splitsort--an adaptive sorting algorithm -- Equational calculi for many-sorted algebras with empty carrier sets -- Semi-commutation and deterministic petri nets -- Internal labellings in lambda-calculus -- A sup-preserving completion of ordered partial algebras -- ATIME(n) is closed under Counting -- Investigation of finitary calculi for the temporal logics by means of infinitary calculi -- Typed horn logic (extended abstract) -- Results on the glory of the past -- A stronger version of parikh theorem -- The parallel complexity of some constructions in combinatorial group theory (abstract) -- Gentzen type axiomatization for PAL -- Distance automata having large finite distance or finite ambiguity -- Bottom-up-heap sort, a new variant of heap sort beating on average quick sort (if n is not very small) -- Symmetric functions in AC 0 can be computed in constant depth with very small size -- The k-section of treewidth restricted graphs -- Computing large polynomial powers very fast in parallel.
Record Nr. STANFORD-a13353465
Materiale a stampa
Lo trovi qui: Stanford University