|
Search the dblp DataBase
Adrian Craciun:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Madalina Hodorog, Adrian Craciun
Scheme-Based Systematic Exploration of Natural Numbers. [Citation Graph (0, 0)][DBLP] SYNASC, 2006, pp:23-34 [Conf]
- Bruno Buchberger, Adrian Craciun
Algorithm Synthesis by Lazy Thinking: Examples and Implementation in Theorema. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2004, v:93, n:, pp:24-59 [Journal]
- Bruno Buchberger, Adrian Craciun, Tudor Jebelean, Laura Kovács, Temur Kutsia, Koji Nakagawa, Florina Piroi, Nikolaj Popov, Judit Robu, Markus Rosenkranz
Theorema: Towards computer-aided mathematical theory exploration. [Citation Graph (0, 0)][DBLP] J. Applied Logic, 2006, v:4, n:4, pp:470-504 [Journal]
Decompositions of Natural Numbers: From a Case Study in Mathematical Theory Exploration. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|