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.
A functional, comprehensive and extensible multi-platform querying and transformation approach / / Tassilo Horn
| A functional, comprehensive and extensible multi-platform querying and transformation approach / / Tassilo Horn |
| Autore | Horn Tassilo |
| Pubbl/distr/stampa | Berlin/Germany, : Logos Verlag Berlin, 2016 |
| Descrizione fisica | 1 online resource (xv, 454 pages) : illustrations; digital file(s) |
| Disciplina | 005.1028 |
| Soggetto topico | Computer science |
| Soggetto non controllato |
model transformation
model querying Clojure FunnyQT graph transformation |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ger |
| Record Nr. | UNINA-9910418322703321 |
Horn Tassilo
|
||
| Berlin/Germany, : Logos Verlag Berlin, 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Mathematical Logic and Its Applications 2020
| Mathematical Logic and Its Applications 2020 |
| Autore | Lyubetsky Vassily |
| Pubbl/distr/stampa | Basel, Switzerland, : MDPI - Multidisciplinary Digital Publishing Institute, 2021 |
| Descrizione fisica | 1 online resource (196 p.) |
| Soggetto topico |
Mathematics & science
Research & information: general |
| Soggetto non controllato |
adaptive resource
additively exact algorithm affine algebraic geometry affine spaces algorithmic unsolvability almost disjoint forcing almost-disjoint forcing automorphisms chain-cycle graph definability definability of definable deformation quantization discrete optimization elementary equivalence embeddability of varieties exact algorithm finitely presented algebraic systems first order rigidity free associative algebras generic models graph of degree 2 graph transformation Harvey Friedman's problem Ind-group infinite prime number isotypic algebras minimization of total cost noncommutative Gröbner-Shirshov basis nonconstructible reals operation cost polynomial symplectomorphisms projective hierarchy resilience resistance semi-inner automorphism tarski problem theory of catastrophes tipping point turing machine type theoretic hierarchy undecidability universal algebraic geometry Weyl algebra automorphisms |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910557361803321 |
|
Lyubetsky Vassily
|
||
| Basel, Switzerland, : MDPI - Multidisciplinary Digital Publishing Institute, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||