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.
Term rewriting systems : Terese / edited by Marc Bezem, Jan Willem Klop, Roel de Vrijer
| Term rewriting systems : Terese / edited by Marc Bezem, Jan Willem Klop, Roel de Vrijer |
| Pubbl/distr/stampa | Cambridge, : Cambridge University, 2003 |
| Descrizione fisica | XXII, 884 p. : ill. ; 23 cm |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
68Q42 - Grammars and rewriting systems [MSC 2020] |
| ISBN | 978-05-213-9115-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0050057 |
| Cambridge, : Cambridge University, 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
The compressed word problem for groups / Markus Lohrey
| The compressed word problem for groups / Markus Lohrey |
| Autore | Lohrey, Markus |
| Pubbl/distr/stampa | New York, : Springer, 2014 |
| Descrizione fisica | XII, 153 p. : ill. ; 24 cm |
| Soggetto topico |
20M05 - Free semigroups, generators and relations, word problems [MSC 2020]
20F10 - Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) [MSC 2020] 68Q42 - Grammars and rewriting systems [MSC 2020] 68Q17 - Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) [MSC 2020] |
| Soggetto non controllato |
Algorithms for groups
Combinatorial group theory Complexity of algebraic problems Straight-line programs |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0102910 |
Lohrey, Markus
|
||
| New York, : Springer, 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
The compressed word problem for groups / Markus Lohrey
| The compressed word problem for groups / Markus Lohrey |
| Autore | Lohrey, Markus |
| Edizione | [New York : Springer, 2014] |
| Pubbl/distr/stampa | XII, 153 p., : ill. ; 24 cm |
| Descrizione fisica | Pubblicazione in formato elettronico |
| Soggetto topico |
20M05 - Free semigroups, generators and relations, word problems [MSC 2020]
20F10 - Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) [MSC 2020] 68Q42 - Grammars and rewriting systems [MSC 2020] 68Q17 - Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) [MSC 2020] |
| ISBN | 8-1-4939-0747-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0102910 |
|
Lohrey, Markus
|
||
| XII, 153 p., : ill. ; 24 cm | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Two Algebraic Byways from Differential Equations: Gröbner Bases and Quivers / Kenji Iohara ... [et al.] editors
| Two Algebraic Byways from Differential Equations: Gröbner Bases and Quivers / Kenji Iohara ... [et al.] editors |
| Pubbl/distr/stampa | Cham, : Springer, 2020 |
| Descrizione fisica | xi, 371 p. : ill. ; 24 cm |
| Soggetto topico |
14-XX - Algebraic geometry [MSC 2020]
16-XX - Associative rings and algebras [MSC 2020] 16G20 - Representations of quivers and partially ordered sets [MSC 2020] 58A15 - Exterior differential systems (Cartan theory) [MSC 2020] 16D40 - Free, projective, and flat modules and ideals in associative algebras [MSC 2020] 13P10 - Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) [MSC 2020] 62-XX - Statistics [MSC 2020] 14L30 - Group actions on varieties or schemes (quotients) [MSC 2020] 35A25 - Other special methods applied to PDEs [MSC 2020] 53D20 - Momentum maps; symplectic reduction [MSC 2020] 14L24 - Geometric invariant theory [MSC 2020] 68Q42 - Grammars and rewriting systems [MSC 2020] 14F10 - Differentials and other special sheaves; D-modules; Bernstein-Sato ideals and polynomials [MSC 2020] 00B15 - Collections of articles of miscellaneous specific interest [MSC 2020] 18G10 - Resolutions; derived functors (category-theoretic aspects) [MSC 2020] 34M40 - Stokes phenomena and connection problems (linear and nonlinear) for ordinary differential equations in the complex domain [MSC 2020] 34M35 - Singularities, monodromy and local behavior of solutions to ordinary differential equations in the complex domain, normal forms [MSC 2020] 16S37 - Quadratic and Koszul algebras [MSC 2020] 14H60 - Vector bundles on curves and their moduli [MSC 2020] 18N10 - 2-categories, bicategories, double categories [MSC 2020] 18C10 - Theories (e.g., algebraic theories), structure, and semantics [MSC 2020] |
| Soggetto non controllato |
B-functions
Commutative and noncommutative Gröbner bases D-modules Meromorphic connections Moduli Spaces Ordinary differential equations Partial differential equations Quiver varieties |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0250022 |
| Cham, : Springer, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Universal algebra and applications in theoretical computer science / Klaus Denecke, Shelly L. Wismath
| Universal algebra and applications in theoretical computer science / Klaus Denecke, Shelly L. Wismath |
| Autore | Denecke, Klaus |
| Pubbl/distr/stampa | Boca Raton, : Chapman & Hall, 2002 |
| Descrizione fisica | XII, 400 p. ; 24 cm. |
| Altri autori (Persone) | Wismath, Shelly L. |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
06A15 - Galois correspondences, closure operators (in relation to ordered sets) [MSC 2020] 08Axx - Algebraic structures [MSC 2020] 08-XX - General algebraic systems [MSC 2020] 08A40 - Operations, polynomials in algebraic structures, primal algebras [MSC 2020] 68Q42 - Grammars and rewriting systems [MSC 2020] 08Bxx - Varieties [MSC 2020] 08A70 - Applications of universal algebra in computer science [MSC 2020] 68Q70 - Algebraic theory of languages and automata [MSC 2020] |
| ISBN | 15-8488-254-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0024567 |
|
Denecke, Klaus
|
||
| Boca Raton, : Chapman & Hall, 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Universal algebra and applications in theoretical computer science / Klaus Denecke, Shelly L. Wismath
| Universal algebra and applications in theoretical computer science / Klaus Denecke, Shelly L. Wismath |
| Autore | Denecke, Klaus |
| Pubbl/distr/stampa | Boca Raton, : Chapman & Hall, 2002 |
| Descrizione fisica | XII, 400 p. ; 24 cm |
| Altri autori (Persone) | Wismath, Shelly L. |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
06A15 - Galois correspondences, closure operators (in relation to ordered sets) [MSC 2020] 08Axx - Algebraic structures [MSC 2020] 08-XX - General algebraic systems [MSC 2020] 08A40 - Operations, polynomials in algebraic structures, primal algebras [MSC 2020] 68Q42 - Grammars and rewriting systems [MSC 2020] 08Bxx - Varieties [MSC 2020] 08A70 - Applications of universal algebra in computer science [MSC 2020] 68Q70 - Algebraic theory of languages and automata [MSC 2020] |
| ISBN | 15-8488-254-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0024567 |
|
Denecke, Klaus
|
||
| Boca Raton, : Chapman & Hall, 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
