Variant Construction from Theoretical Foundation to Applications

DOI10.1007/978-981-13-2282-2MaRDI QIDQ4623149zbMATH OpenOpenAlexFDO

Authors

Publication date 19 February 2019

Full work available at URL http://www.oapen.org/download/?type=document&docid=1006964

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Other nonclassical logic (03B60) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Artificial intelligence (68Txx) Quantum computation (81P68) Proceedings, conferences, collections, etc. pertaining to biology (92-06) Computational methods for problems pertaining to biology (92-08) Proceedings, conferences, collections, etc. pertaining to information and communication theory (94-06) Cryptography (94A60)

Recommendations

• scientific article; zbMATH DE number 891194
• Variants of the basic calculus of constructions
• The construction of variational principles
• scientific article; zbMATH DE number 194358
• Alternative finestructural and computational approaches to constructibility
• Built-in variant generation and unification, and their applications in Maude 2.7
• Applications and refinements of Vince's construction
• Variant narrowing and equational unification
• General techniques for constructing variational integrators

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)