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.
Typed Lambda Calculi and Applications : Second International Conference on Typed Lambda Calculi and Applications, TLCA '95 Edinburgh, United Kingdom, April 10-12, 1995 Proceedings / edited by Mariangiola Dezani-Ciancaglini, Gordon Plotkin
Typed Lambda Calculi and Applications : Second International Conference on Typed Lambda Calculi and Applications, TLCA '95 Edinburgh, United Kingdom, April 10-12, 1995 Proceedings / edited by Mariangiola Dezani-Ciancaglini, Gordon Plotkin
Creatore [International Conference on Typed Lambda Calculi and Applications (2nd : 1995 : Edinburgh, Scotland)]
Estensione 1 online resource : v.: digital.
Accesso persona Plotkin, G. (Gordon), 1946-
Dezani-Ciancaglini, M. (Mariangiola)
Genere/Forma Electronic books
Conference papers and proceedings
Congressen (vorm)
ISBN 9783540491781
3540491783
354059048X
9783540590484
Classificazione 54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Comparing ?-calculus translations in sharing graphs -- Extensions of pure type systems -- A model for formal parametric polymorphism: A per interpretation for system R -- A realization of the negative interpretation of the Axiom of Choice -- Using subtyping in program optimization -- What is a categorical model of Intuitionistic Linear Logic? -- An explicit Eta rewrite rule -- Extracting text from proofs -- Higher-order abstract syntax in Coq -- Expanding extensional polymorphism -- Lambda-calculus, combinators and the comprehension scheme -- ??-Equality for coproducts -- Typed operational semantics -- A simple calculus of exception handling -- A simple model for quotient types -- Untyped ?-calculus with relative typing -- Final semantics for untyped ?-calculus -- A simplification of Girard's paradox -- Basic properties of data types with inequational refinements -- Decidable properties of intersection type systems -- Termination proof of term rewriting system with the multiset path ordering. A complete development in the system Coq -- Typed ?-calculi with explicit substitutions may not terminate -- On equivalence classes of interpolation equations -- Strict functionals for termination proofs -- A verified typechecker -- Categorical semantics of the call-by-value ?-calculus -- A fully abstract translation between a ?-calculus with reference types and Standard ML -- Categorical completeness results for the simply-typed lambda-calculus -- Third-order matching in the presence of type constructors.
Record Nr. UCHICAGO-11078079
[International Conference on Typed Lambda Calculi and Applications (2nd : 1995 : Edinburgh, Scotland)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Applied algebra, algebraic algorithms, and error-correcting codes : 13th international symposium, AAECC-13, Honolulu, Hawaii, USA, November 15-19, 1999 : proceedings / Marc Fossorier [and others] (eds.).
Applied algebra, algebraic algorithms, and error-correcting codes : 13th international symposium, AAECC-13, Honolulu, Hawaii, USA, November 15-19, 1999 : proceedings / Marc Fossorier [and others] (eds.).
Creatore [AAECC-13 (1999 : Honolulu, Hawaii)]
Estensione 1 online resource (xiii, 510 pages) : illustrations.
Accesso persona Fossorier, Marc, 1964-
Genere/Forma Electronic books
Conference papers and proceedings
Congressen (vorm)
ISBN 9783540467960
3540467963
3540667237
9783540667230
Classificazione 54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-11067818
[AAECC-13 (1999 : Honolulu, Hawaii)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Graph-Theoretic Concepts in Computer Science : 15th International Workshop WG '89 Castle Rolduc, the Netherlands, June 14-16, 1989 Proceedings / edited by Manfred Nagl
Graph-Theoretic Concepts in Computer Science : 15th International Workshop WG '89 Castle Rolduc, the Netherlands, June 14-16, 1989 Proceedings / edited by Manfred Nagl
Estensione 1 online resource : v.: digital.
Accesso persona Nagl, Manfred
Genere/Forma Electronic books
ISBN 9783540469506
3540469508
0387522921
9780387522920
3540522921
9783540522928
Classificazione 54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Disjoint paths in the hypercube -- Time bounds for broadcasting in bounded degree graphs -- t/s-Diagnosable systems: A characterization and diagnosis algorithm -- Toward a complete representation of graphoids in graphs — Abridged Version -- CADULA — A graph-based model for monitoring CAD-processes -- On hyperedge replacement and BNLC graph grammars -- Graph rewriting systems with priorities -- Filtering hyperedge-replacement languages through compatible properties -- Describing distributed systems by categorical graph grammars -- A parser for context free plex grammars -- to PROGRESS, an attribute graph grammar based specification language -- On the complexity of optimal drawings of graphs -- Bounds to the page number of partially ordered sets -- Beyond Steiner's problem: A VLSI oriented generalization -- A fast sequential and parallel algorithm for the computation of the k-closure of a graph -- On feedback problems in digraphs -- Improved self-reduction algorithms for graphs with bounded treewidth -- Finding a minimal transitive reduction in a strongly connected digraph within linear time -- Paging binary trees with external balancing -- The complexity of graph problems for succinctly represented graphs -- An O(n log n) algorithm for 1-D tile compaction -- Weighted parallel triangulation of simple polygons -- Implementing data structures on a hypercube multiprocessor, and applications in parallel computational geometry -- k — Nearest — Neighbor Voronoi diagrams for sets of convex polygons, line segments and points -- Finding squares and rectangles in sets of points -- Combinatorial properties of abstract Voronoi diagrams.
Record Nr. UCHICAGO-11078179
Materiale a stampa
Lo trovi qui: University of Chicago
Structural information and communication complexity : 19th International Colloquium, SIROCCO 2012, Reykjavik, Iceland, June 30-July 2, 2012, Proceedings / Guy Even, Magnús M. Halldórsson (eds.).
Structural information and communication complexity : 19th International Colloquium, SIROCCO 2012, Reykjavik, Iceland, June 30-July 2, 2012, Proceedings / Guy Even, Magnús M. Halldórsson (eds.).
Creatore [Colloquium on Structural Information and Communication Complexity (19th : 2012 : Reykjavík, Iceland)]
Estensione 1 online resource (xix, 340 pages) : illustrations.
Accesso persona Even, Guy.
Magnús M. Halldórsson
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Data structures (Computer science)
Computer software
Computational complexity
Algorithms
Algorithm Analysis and Problem Complexity
Discrete Mathematics in Computer Science
ISBN 9783642311048
3642311040
3642311032
9783642311031
Classificazione 54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Space Lower Bounds for Low-Stretch Greedy Embeddings / Ioannis Caragiannis and Christos Kalaitzis -- The Fault Tolerant Capacitated k-Center Problem / Shiri Chechik and David Peleg -- Notions of Connectivity in Overlay Networks / Yuval Emek, Pierre Fraigniaud, Amos Korman, Shay Kutten and David Peleg -- Changing of the Guards: Strip Cover with Duty Cycling / Amotz Bar-Noy, Ben Baumer and Dror Rawitz -- Deterministic Local Algorithms, Unique Identifiers, and Fractional Graph Colouring / Henning Hasemann, Juho Hirvonen, Joel Rybicki and Jukka Suomela -- An Algorithm for Online Facility Leasing / Peter Kling, Friedhelm Meyer auf der Heide and Peter Pietrzyk -- Agreement in Directed Dynamic Networks / Martin Biely, Peter Robinson and Ulrich Schmid -- Bounding Interference in Wireless Ad Hoc Networks with Nodes in Random Position / Majid Khabbazian, Stephane Durocher and Alireza Haghnegahdar -- Strong Connectivity of Sensor Networks with Double Antennae / Mohsen Eftekhari Hesari, Evangelos Kranakis, Fraser MacQuarie, Oscar Morales-Ponce and Lata Narayanan -- Distributed Multiple-Message Broadcast in Wireless Ad-Hoc Networks under the SINR Model / Dongxiao Yu, Qiang-Sheng Hua, Yuexuan Wang, Haisheng Tan and Francis C.M. Lau -- Wireless Network Stability in the SINR Model / Eyjólfur Ingi Ásgeirsson, Magnús M. Halldórsson and Pradipta Mitra -- What Can Be Computed without Communications? / Heger Arfaoui and Pierre Fraigniaud -- On Bidimensional Congestion Games / Vittorio Bilò, Michele Flammini and Vasco Gallotti -- Mobile Network Creation Games / Michele Flammini, Vasco Gallotti, Giovanna Melideo, Gianpiero Monaco and Luca Moscardelli -- Homonyms with Forgeable Identifiers / Carole Delporte-Gallet, Hugues Fauconnier and Hung Tran-The -- Asynchrony and Collusion in the N-party BAR Transfer Problem / Xavier Vilaça, Oksana Denysyuk and Luís Rodrigues -- Early Deciding Synchronous Renaming in O(logf) Rounds or Less / Dan Alistarh, Hagit Attiya, Rachid Guerraoui and Corentin Travers -- On Snapshots and Stable Properties Detection in Anonymous Fully Distributed Systems (Extended Abstract) / Jérémie Chalopin, Yves Métivier and Thomas Morsellino -- Self-stabilizing (k, r)-Clustering in Clock Rate-Limited Systems / Andreas Larsson and Philippas Tsigas -- Increasing the Power of the Iterated Immediate Snapshot Model with Failure Detectors / Michel Raynal and Julien Stainer -- Improved Approximation for Orienting Mixed Graphs / Iftah Gamzu and Moti Medina -- Analysis of Random Walks Using Tabu Lists / Karine Altisen, Stéphane Devismes, Antoine Gerbaud and Pascal Lafourcade -- Online Graph Exploration with Advice / Stefan Dobrev, Rastislav Královič and Euripides Markou -- Asynchronous Exploration of an Unknown Anonymous Dangerous Graph with O(1) Pebbles / Balasingham Balamohan, Stefan Dobrev, Paola Flocchini and Nicola Santoro -- Time of Anonymous Rendezvous in Trees: Determinism vs. Randomization / Samir Elouasbi and Andrzej Pelc -- Randomized Rendezvous of Mobile Agents in Anonymous Unidirectional Ring Networks / Shinji Kawai, Fukuhito Ooshita, Hirotsugu Kakugawa and Toshimitsu Masuzawa -- Getting Close without Touching / Linda Pagli, Giuseppe Prencipe and Giovanni Viglietta -- Gathering of Robots on Anonymous Grids without Multiplicity Detection / Gianlorenzo D'Angelo, Gabriele Di Stefano, Ralf Klasing and Alfredo Navarra.
Record Nr. UCHICAGO-11077025
[Colloquium on Structural Information and Communication Complexity (19th : 2012 : Reykjavík, Iceland)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Automata on infinite words / Ecole de printemps d'informatique théorique, Le Mont Dore, May 14-18, 1984 ; edited by M. Nivat and D. Perrin
Automata on infinite words / Ecole de printemps d'informatique théorique, Le Mont Dore, May 14-18, 1984 ; edited by M. Nivat and D. Perrin
Creatore [Ecole de printemps d'informatique théorique (1984 : Le Mont-Dore, France)]
Estensione 1 online resource (iv, 215 pages) : illustrations.
Accesso persona Nivat, M.
Perrin, Dominique
Genere/Forma Electronic books
Conference papers and proceedings
ISBN 9783540395058
3540395059
0387156410
9780387156415
Classificazione 54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-11074084
[Ecole de printemps d'informatique théorique (1984 : Le Mont-Dore, France)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Attribute grammars : definitions, systems, and bibliography / Pierre Deransart, Martin Jourdan, Bernard Lorho
Attribute grammars : definitions, systems, and bibliography / Pierre Deransart, Martin Jourdan, Bernard Lorho
Creatore [Deransart, Pierre]
Estensione 1 online resource (ix, 232 pages) : illustrations.
Accesso persona Jourdan, Martin, 1959-
Lorho, Bernard
Genere/Forma Electronic books
ISBN 9783540459118
3540459111
0387500561
9780387500560
9783540500568
3540500561
Classificazione 54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-11071790
[Deransart, Pierre]  
Materiale a stampa
Lo trovi qui: University of Chicago
Developments in language theory : 16th International Conference, DLT 2012, Taipei, Taiwan, August 14-17, 2012. Proceedings / Hsu-Chun Yen, Oscar H. Ibarra (eds.).
Developments in language theory : 16th International Conference, DLT 2012, Taipei, Taiwan, August 14-17, 2012. Proceedings / Hsu-Chun Yen, Oscar H. Ibarra (eds.).
Creatore [Conference on Developments in Language Theory (16th : 2012 : Taipei, Taiwan)]
Estensione 1 online resource (xiv, 478 pages) : illustrations.
Accesso persona Yen, Hsu-Chun, 1958-
Ibarra, Oscar H.
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Coding theory
Logic design
Computational complexity
Computation by Abstract Devices
Mathematical Logic and Formal Languages
Logics and Meanings of Programs
Coding and Information Theory
Discrete Mathematics in Computer Science
ISBN 9783642316531
3642316530
3642316522
9783642316524
Classificazione 54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto The Kind Hearted Dragon Prof. Sheng Yu, 1950-2012 / Andrew L. Szilard -- P and dP Automata: Unconventional versus Classical Automata / Erzsébet Csuhaj-Varjú -- Recovering Strings in Oracles: Quantum and Classic / Kazuo Iwama -- Determinism vs. Nondeterminism for Two-Way Automata: Representing the Meaning of States by Logical Formulæ / Juraj Hromkovič, Rastislav Královič, Richard Královič and Richard Štefanec -- Cellular Automata, the Collatz Conjecture and Powers of 3/2 / Jarkko Kari -- Quotient Complexities of Atoms of Regular Languages / Janusz Brzozowski and Hellis Tamm -- Decidability of Geometricity of Regular Languages / Marie-Pierre Béal, Jean-Marc Champarnaud, Jean-Philippe Dubernard, Hadrien Jeanne and Sylvain Lombardy -- Inside the Class of REGEX Languages / Markus L. Schmid -- Computing the Edit-Distance between a Regular Language and a Context-Free Language / Yo-Sub Han, Sang-Ki Ko and Kai Salomaa -- Semigroups with a Context-Free Word Problem / Michael Hoffmann, Derek F. Holt, Matthew D. Owens and Richard M. Thomas -- Generalized Derivations with Synchronized Context-Free Grammars / Markus Holzer, Sebastian Jakobi and Ian McQuillan -- Non-erasing Variants of the Chomsky-Schützenberger Theorem / Alexander Okhotin -- Regular and Context-Free Pattern Languages over Small Alphabets / Daniel Reidenbach and Markus L. Schmid.
On Context-Free Languages of Scattered Words / Zoltan Ésik and Satoshi Okawa -- Homomorphisms Preserving Deterministic Context-Free Languages / Tommi Lehtinen and Alexander Okhotin -- Unary Coded NP-Complete Languages in ASPACE (log log n) / Viliam Geffert and Dana Pardubská -- Dense Completeness / Andreas Krebs and Klaus-Jörn Lange -- From Equivalence to Almost-Equivalence, and Beyond--Minimizing Automata with Errors (Extended Abstract) / Markus Holzer and Sebastian Jakobi -- Analogs of Fagin's Theorem for Small Nondeterministic Finite Automata / Christos A. Kapoutsis and Nans Lefebvre -- States and Heads Do Count for Unary Multi-head Finite Automata / Martin Kutrib, Andreas Malcher and Matthias Wendlandt -- Visibly Pushdown Automata with Multiplicities: Finiteness and K-Boundedness / Mathieu Caralp, Pierre-Alain Reynier and Jean-Marc Talbot -- Unambiguous Constrained Automata / Michaël Cadilhac, Alain Finkel and Pierre McKenzie -- Two-Dimensional Sgraffito Automata / Daniel Průša and František Mráz -- Two-Way Transducers with a Two-Way Output Tape / Olivier Carton -- Learning Rational Functions / Adrien Boiret, Aurélien Lemay and Joachim Niehren -- Converting Nondeterministic Automata and Context-Free Grammars into Parikh Equivalent Deterministic Automata / Giovanna J. Lavado, Giovanni Pighizzini and Shinnosuke Seki -- Fine and Wilf's Theorem for k-Abelian Periods / Juhani Karhumäki, Svetlana Puzynina and Aleksi Saarela -- Pseudoperiodic Words / Alexandre Blondin Massé, Sébastien Gaboury and Sylvain Hallé
Acceptance Conditions for [omega]-Languages / Alberto Dennunzio, Enrico Formenti and Julien Provillard -- Checking Determinism of Regular Expressions with Counting / Haiming Chen and Ping Lu -- Biautomata for k-Piecewise Testable Languages / Ondřej Klíma and Libor Polák -- On Centralized PC Grammar Systems with Context-Sensitive Components / Friedrich Otto -- Unidirectional Derivation Semantics for Synchronous Tree-Adjoining Grammars / Matthias Büchse, Andreas Maletti and Heiko Vogler -- The State Complexity of Star-Complement-Star / Galina Jirásková and Jeffrey Shallit -- On State Complexity of Finite Word and Tree Languages / Aniruddh Gandhi, Bakhadyr Khoussainov and Jiamou Liu -- Squares in Binary Partial Words / Francine Blanchet-Sadri, Yang Jiao and John M. Machacek -- The Avoidability of Cubes under Permutations / Florin Manea, Mike Müller and Dirk Nowotka -- Hairpin Completion with Bounded Stem-Loop / Szilárd Zsolt Fazekas, Robert Mercaş and Kayoko Shikishima-Tsuji -- Morphic Primitivity and Alphabet Reductions / Hossein Nevisi and Daniel Reidenbach -- On a Hierarchy of Languages with Catenation and Shuffle / Nils Erik Flick and Manfred Kudlek -- Characterizing Languages by Normalization and Termination in String Rewriting (Extended Abstract) / Jeroen Ketema and Jakob Grue Simonsen -- Geometry and Dynamics of the Besicovitch and Weyl Spaces / Ville Salo and Ilkka Törmä -- A Generalization of Girod's Bidirectional Decoding Method to Codes with a Finite Deciphering Delay / Laura Giambruno, Sabrina Mantaci, Jean Néraud and Carla Selmi.
Record Nr. UCHICAGO-11077093
[Conference on Developments in Language Theory (16th : 2012 : Taipei, Taiwan)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Computer aided systems theory, EUROCAST '91 : a selection of papers from the Second International Workshop on Computer Aided Systems Theory, Krems, Austria, April 15-19, 1991 : proceedings / F. Pichler, R. Moreno Díaz, eds.
Computer aided systems theory, EUROCAST '91 : a selection of papers from the Second International Workshop on Computer Aided Systems Theory, Krems, Austria, April 15-19, 1991 : proceedings / F. Pichler, R. Moreno Díaz, eds.
Creatore [International Workshop on Computer Aided Systems Theory (2nd : 1991 : Krems an der Donau, Austria)]
Estensione 1 online resource (x, 761 pages) : illustrations.
Accesso persona Pichler, Franz, 1936-
Moreno-Díaz, Roberto
Genere/Forma Kongress -- Krems (Donau) -- 1991
Conference papers and proceedings
Congressen (vorm)
ISBN 9783540470342
3540470344
3540553541
9783540553540
0387553541
9780387553542
Classificazione 54.10
DAT 759f
MSR 580f
SS 4800
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-11077126
[International Workshop on Computer Aided Systems Theory (2nd : 1991 : Krems an der Donau, Austria)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Transactions on computational science XVI / Marina L. Gavrilova, C.J. Kenneth Tan (eds.).
Transactions on computational science XVI / Marina L. Gavrilova, C.J. Kenneth Tan (eds.).
Estensione 1 online resource.
Accesso persona Gavrilova, Marina L.
Tan, C. J. Kenneth (Chih Jeng Kenneth)
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Information storage and retrieval systems
Artificial intelligence
User Interfaces and Human Computer Interaction
Information Systems Applications (incl. Internet)
Computers and Society
Information Storage and Retrieval
ISBN 9783642326639
3642326633
3642326625
9783642326622
Classificazione 54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Function-Based Single and Dual Point Haptic Interaction in Cyberworlds / Lei Wei, Alexei Sourin, Zoran Najdovski and Saeid Nahavandi -- Visual 3D Perception of Motion Environment and Visibility Factors in Virtual Space / Vladimir Aleshin, Valery Afanasiev, Alexander Bobkov, Stanislav Klimenko and Vitaly Kuliev, et al. -- Continuous Control of Style and Style Transitions through Linear Interpolation in Hidden Markov Model Based Walk Synthesis / Joëlle Tilmanne and Thierry Dutoit -- Modeling and Analyzing the Human Cognitive Limits for Perception in Crowd Simulation / Vaisagh Viswanathan and Michael Lees -- Experiments in Artimetrics: Avatar Face Recognition / Roman V. Yampolskiy, Gyuchoon Cho, Richard Rosenthal and Marina L. Gavrilova -- Visualization of Joinery Using Homotopy Theory and Attaching Maps / Kenji Ohmori and Tosiyasu L. Kunii -- Example of Business Applications Using the Numerical Value and Exponential Calculation of the Cellular Data System / Toshio Kodama, Yoichi Seki and Tosiyasu L. Kunii -- Analysis of Inverse Snyder Optimizations / Erika Harrison, Ali Mahdavi-Amiri and Faramarz Samavati -- Error-Controllable Simplification of Point Cloud / Yichen Li, Mingqiang Wei, Jianhuang Wu and Mingyong Pang -- Physically-Based Haptic Rendering for Virtual Hand Interaction / Yang Wenzhen, Pan Zhigen and Chen Wenhua -- The Advanced Open Metaplastic Platform for Cyber Art / Gianluca Mura.
Record Nr. UCHICAGO-11077130
Materiale a stampa
Lo trovi qui: University of Chicago
Computer algebra : EUROCAM'82, European Computer Algebra Conference, Marseille, France, 5-7 April 1982 / edited by Jacques Calmet
Computer algebra : EUROCAM'82, European Computer Algebra Conference, Marseille, France, 5-7 April 1982 / edited by Jacques Calmet
Creatore [European Computer Algebra Conference (1982 : Marseille, France)]
Estensione 1 online resource (xiv, 301 pages) : illustrations.
Accesso persona Calmet, Jacques
Genere/Forma Electronic books
Conference papers and proceedings
Congressen (vorm)
ISBN 9783540394334
3540394338
3540116079
9783540116073
Classificazione 54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-11072464
[European Computer Algebra Conference (1982 : Marseille, France)]  
Materiale a stampa
Lo trovi qui: University of Chicago