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.
Automata, Languages and Programming [[electronic resource] ] : 22nd International Colloquium, ICALP 95, Szeged, Hungary, July 10 - 14, 1995. Proceedings / / edited by Zoltan Fülöp, Ferenc Gecseg
| Automata, Languages and Programming [[electronic resource] ] : 22nd International Colloquium, ICALP 95, Szeged, Hungary, July 10 - 14, 1995. Proceedings / / edited by Zoltan Fülöp, Ferenc Gecseg |
| Edizione | [1st ed. 1995.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1995 |
| Descrizione fisica | 1 online resource (XVI, 692 p.) |
| Disciplina | 629.892 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Robotics
Automation Programming languages (Electronic computers) Computers Computer programming Data structures (Computer science) Data encryption (Computer science) Robotics and Automation Programming Languages, Compilers, Interpreters Theory of Computation Programming Techniques Data Structures Cryptology |
| ISBN | 3-540-49425-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Theory of 2-structures -- A domain for concurrent termination a generalization of Mazurkiewicz traces -- Nonfinite axiomatizability of the equational theory of shuffle -- The algebraic equivalent of AFL theory -- Finite state transformations of images -- Post correspondence problem: Words possible as primitive solutions -- Computing the closure of sets of words under partial commutations -- Intervalizing k-colored graphs -- NC algorithms for finding a maximal set of paths with application to compressing strings -- On the construction of classes of suffix trees for square matrices: Algorithms and applications -- How to use the minimal separators of a graph for its chordal triangulation -- Fast gossiping by short messages -- Break Finite Automata Public Key Cryptosystem -- Stochastic graphs have short memory: Fully dynamic connectivity in poly-log expected time -- On the number of random bits in totally private computation -- Lower time bounds for randomized computation -- New collapse consequences of NP having small circuits -- The complexity of searching succinctly represented graphs -- Optimal shooting: Characterizations and applications -- Placing resources in a tree: Dynamic and static algorithms -- Shortest path queries in digraphs of small treewidth -- A dynamic programming algorithm for constructing optimal prefix-free codes for unequal letter costs -- Parallel algorithms with optimal speedup for bounded treewidth -- Approximating minimum cuts under insertions -- Linear time algorithms for dominating pairs in asteroidal triple-free graphs -- On-line resource management with applications to routing and scheduling -- Alternation in simple devices -- Hybrid automata with finite bisimulations -- Generalized Sturmian languages -- Polynomial closure and unambiguous product -- Lower bounds on algebraic random access machines -- Improved deterministic PRAM simulation on the mesh -- On optimal polynomial time approximations: P-levelability vs. ?-levelability -- Weakly useful sequences -- Graph Connectivity, Monadic NP and built-in relations of moderate degree -- The expressive power of clocks -- Grammar systems: A grammatical approach to distribution and cooperation -- Compactness of systems of equations in semigroups -- Sensing versus nonsensing automata -- New upper bounds for generalized intersection searching problems -- OKFDDs versus OBDDs and OFDDs -- Bicriteria network design problems -- On determining optimal strategies in pursuit games in the plane -- Extension orderings -- The pushdown method to optimize chain logic programs -- Automatic synthesis of real time systems -- Self-correcting for function fields of finite transcendental degree -- Measure, category and learning theory -- A characterization of the existence of energies for neural networks -- Variable-length codes for error correction -- Graphbots: Mobility in discrete spaces -- Solving recursive net equations -- Implicit definability and infinitary logic in finite model theory -- The limit of splitn-language equivalence -- Divergence and fair testing -- Causality for mobile processes -- Internal mobility and agent-passing calculi. |
| Record Nr. | UNISA-996466161303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Fundamentals of Computation Theory [[electronic resource] ] : International Conference FCT '89, Szeged, Hungary, August 21-25, 1989. Proceedings / / edited by Janos Csirik, Ferenc Gecseg, Janos Demetrovics
| Fundamentals of Computation Theory [[electronic resource] ] : International Conference FCT '89, Szeged, Hungary, August 21-25, 1989. Proceedings / / edited by Janos Csirik, Ferenc Gecseg, Janos Demetrovics |
| Edizione | [1st ed. 1989.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1989 |
| Descrizione fisica | 1 online resource (XIV, 498 p.) |
| Disciplina | 004.0151 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Algorithms Computer logic Mathematical logic Microprogramming Combinatorics Computation by Abstract Devices Algorithm Analysis and Problem Complexity Logics and Meanings of Programs Mathematical Logic and Formal Languages Control Structures and Microprogramming |
| ISBN | 3-540-48180-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | On word equations and Makanin's algorithm -- Complexity classes with complete problems between P and NP-C -- Interpretations of synchronous flowchart schemes -- Generalized Boolean hierarchies and Boolean hierarchies over RP -- The equational logic of iterative processes -- The distributed bit complexity of the ring: From the anonymous to the non-anonymous case -- The jump number problem for biconvex graphs and rectangle covers of rectangular regions -- Recent developments in the design of asynchronous circuits -- New simulations between CRCW PRAMs -- About connections between syntactical and computational complexity -- Completeness in approximation classes -- Separating completely complexity classes related to polynomial size ?-Decision trees -- On product hierarchies of automata -- On the communication complexity of planarity -- Context-free NCE graph grammars -- Dynamic data structures with finite population: A combinatorial analysis -- Iterated deterministic top-down look-ahead -- Using generating functions to compute concurrency -- A logic for nondeterministic functional programs extended abstract -- Decision problems and Coxeter groups -- Complexity of formula classes in first order logic with functions -- Normal and sinkless Petri nets -- Descriptive and computational complexity -- The effect of null-chains on the complexity of contact schemes -- Monte-Carlo inference and its relations to reliable frequency identification -- Semilinear real-time systolic trellis automata -- Inducibility of the composition of frontier-to-root tree transformations -- On oblivious branching programs of linear length -- Some time-space bounds for one-tape deterministic turing machines -- Rank of rational finitely generated W-languages -- Extensional properties of sets of time bounded complexity (extended abstract) -- Learning under uniform distribution -- An extended framework for default reasoning -- Logic programming of some mathematical paradoxes -- Analysis of compact 0-complete trees: A new access method to large databases -- Representation of recursively enumerable languages using alternating finite tree recognizers -- About a family of binary morphisms which stationary words are Sturmian -- On the finite degree of ambiguity of finite tree automata -- Approximation algorithms for channel assignment in cellular radio networks -- The Borel hierarchy is infinite in the class of regular sets of trees -- Parallel general prefix computations with geometric, algebraic and other applications -- Kolmogorov complexity and Hausdorff dimension -- Tree language problems in pattern recognition theory -- The computational complexity of cellular automata -- On restricted Boolean circuits -- The complexity of connectivity problems on context-free graph languages -- Constructivity, computability, and computational complexity in analysis. |
| Record Nr. | UNISA-996465726903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||