Variant Construction from Theoretical Foundation to Applications
DOI10.1007/978-981-13-2282-2zbMATH Open1410.68024OpenAlexW3100590159MaRDI QIDQ4623149
Author name not available (Why is that?)
Publication date: 19 February 2019
Full work available at URL: http://www.oapen.org/download/?type=document&docid=1006964
Quantum computation (81P68) Other nonclassical logic (03B60) Cryptography (94A60) Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Proceedings, conferences, collections, etc. pertaining to information and communication theory (94-06) Proceedings, conferences, collections, etc. pertaining to biology (92-06) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Computational methods for problems pertaining to biology (92-08) Artificial intelligence (68Txx)
Recommendations
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
- General techniques for constructing variational integrators 👍 👎
- Applications and refinements of Vince's construction 👍 👎
- Variants of the basic calculus of constructions 👍 👎
- Built-in Variant Generation and Unification, and Their Applications in Maude 2.7 👍 👎
- Alternative finestructural and computational approaches to constructibility 👍 👎
- The construction of variational principles 👍 👎
- Variant Narrowing and Equational Unification 👍 👎
This page was built for publication: Variant Construction from Theoretical Foundation to Applications
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4623149)
