Trees in Algebra and Programming — CAAP'94 (Record no. 35735)
[ view plain ]
000 -LEADER | |
---|---|
fixed length control field | 03962nam a22005535i 4500 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
ISBN | 9783540483731 |
-- | 978-3-540-48373-1 |
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
Classification number | 004.0151 |
245 10 - TITLE STATEMENT | |
Title | Trees in Algebra and Programming — CAAP'94 |
Sub Title | 19th International Colloquium Edinburgh, U.K., April 11–13, 1994 Proceedings / |
Statement of responsibility, etc | edited by Sophie Tison. |
260 #1 - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
Place of publication | Berlin, Heidelberg : |
Name of publisher | Springer Berlin Heidelberg, |
Year of publication | 1994. |
300 ## - PHYSICAL DESCRIPTION | |
Number of Pages | XI, 361 p. |
Other physical details | online resource. |
490 1# - SERIES STATEMENT | |
Series statement | Lecture Notes in Computer Science, |
505 0# - FORMATTED CONTENTS NOTE | |
Formatted contents note | Ordering constraints on trees -- Graph grammars and tree transducers -- Type Preorders -- Compilative constructive negation in constraint logic programs -- A new linear algorithm for Modular Decomposition -- A CPS-translation of the ??-calculus -- A lower bound on the growth of functions computed by tree transductions -- On the decidability of model checking for several ?-calculi and Petri nets -- Generalizations of the periodicity theorem of Fine and Wilf -- Probabilistic domains -- Some results on top-context-free tree languages -- On higher order recursive program schemes -- Graphs and decidable transductions based on edge constraints -- Nondeterministic automata with concurrency relations and domains -- Algebraic and combinatorial properties of simple, coloured walks -- Probabilistic analysis of an election algorithm in a tree -- On the first-order equivalence of call-by-name and call-by-value -- On the modularity of confluence of constructor-sharing term rewriting systems -- Global program analysis in constraint form -- On projective and separable properties -- A rank hierarchy for deterministic tree-walking transducers -- Superposition in picture languages -- A grammar-based data-flow analysis to stop deforestation. |
520 ## - SUMMARY, ETC. | |
Summary, etc | This volume contains the papers selected for presentation at the 19th Colloquium on Trees in Algebra and Programming (CAAP '94), which was held jointly with the fifth European Symposium on Programming (ESOP '94) in Edinburgh in April 1994. Originally this colloquium series was devoted to the algebraic and combinatorial properties of trees, and their role in various fields of computer science. Taking into account the evolution of computer science, CAAP '94 focuses on logical, algebraic and combinatorial properties of discrete structures (strings, trees, graphs, etc.); the topics also include applications to computer science provided that algebraic or syntactic methods are involved. The volume contains 21 papers selected from 51 submissions as well as two invited papers. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Computer science. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Data structures (Computer science). |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Computer software. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Logic design. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Combinatorics. |
650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Computer Science. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Computation by Abstract Devices. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Algorithm Analysis and Problem Complexity. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Logics and Meanings of Programs. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Programming Techniques. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Data Structures. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Combinatorics. |
700 1# - ADDED ENTRY--PERSONAL NAME | |
Personal name | Tison, Sophie. |
856 40 - ELECTRONIC LOCATION AND ACCESS | |
Uniform Resource Identifier | http://dx.doi.org/10.1007/BFb0017469 |
942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
Koha item type | E-BOOKS |
264 #1 - | |
-- | Berlin, Heidelberg : |
-- | Springer Berlin Heidelberg, |
-- | 1994. |
336 ## - | |
-- | text |
-- | txt |
-- | rdacontent |
337 ## - | |
-- | computer |
-- | c |
-- | rdamedia |
338 ## - | |
-- | online resource |
-- | cr |
-- | rdacarrier |
347 ## - | |
-- | text file |
-- | |
-- | rda |
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
-- | 0302-9743 ; |
Withdrawn status | Lost status | Damaged status | Not for loan | Current library | Accession Number | Uniform Resource Identifier | Koha item type |
---|---|---|---|---|---|---|---|
IMSc Library | EBK6441 | http://dx.doi.org/10.1007/BFb0017469 | E-BOOKS |