Using Computer Algebra techniques for the specification, verification and synthesis of recursive programs
Year of publication: |
2009
|
---|---|
Authors: | Popov, Nikolaj ; Jebelean, Tudor |
Published in: |
Mathematics and Computers in Simulation (MATCOM). - Elsevier, ISSN 0378-4754. - Vol. 79.2009, 8, p. 2302-2309
|
Publisher: |
Elsevier |
Subject: | Specification and verification | Program synthesis | Computer Algebra |
-
Decomposition Procedure for Solving NLP and QP Problems based on Lagrange and Sander's Method
Das, H. K., (2016)
-
Colignatus, Thomas, (2009)
-
Sketches and computations over fields
Duval, Dominique, (1996)
- More ...
-
Combining logical and algebraic techniques for natural style proving in elementary analysis
Vajda, Robert, (2009)
-
Nacalnoto obrazovanie: spravnenie na strukturrnite aspekti v 90 strani
Popov, Nikolaj, (2001)
-
Zakon vrednosti i primena privrednog računa u ekonomici NR Bugarske
Popov, Nikolaj, (1967)
- More ...