Updated...
Below you can find your competitors – also show yourself to algebraic programming!
Click here for your Exposé |
Torsten Klein
DOSFOP - A Documentation Tool for the Algebraic Programming …: von K Didrich - 1997 - Ähnliche ArtikelTorsten Klein. Publisher. Springer-Verlag London, UK …
Kurt Sieber
The Journal of Logic and Algebraic Programming - Elsevier: THE JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING. Special issues & Supplements. Sort listing … ( …
Karl-Heinz Niggl
The Journal of Logic and Algebraic Programming. Publications: 749 | Citations: 17296. … Karl-heinz Niggl, Henning Wunderlich. Journal: The Journal of Logic …
Jeremy Gibbons
Jeremy Gibbons is the author of Fun of Programming (3 ratings, published 2005), Algebraic and Coalgebraic Methods in the Mathematics of Program Construction …
Carsten Tepper
Journal of Logic and Algebraic Programming: by: Peter Buchholz, Joost-Pieter Katoen, Peter Kemper, Carsten Tepper v. … by: Johan Bengtsson, W. O. David Griffioen, …
Joseph Goguen
Software Engineering with OBJ: book on algebraic specification … Parameterized Programming …
Sanjiva Prasad
Sanjiva Prasad, Alessandro Giacalone, Prateek Mishra: Operational and Algebraic Semantics for Facile: A Symmetric Integration of Concurrent and Functional Programming. …
Marieke Jensen
The Journal of Logic and Algebraic Programming, 2004; 58 (1): Guest editors' introduction: Special issue on Formal Methods for Smart Cards / Huisman, Marieke …
Peter Merzhäuser
Computers: Computer Programming and Software - Storming Media: SYMBOLIC ALGEBRAIC MANIPULATION BY DIGITAL COMPUTER IN PROBLEMS OF CONTROL THEORY. JUN 1970. …
Jürgen Duske
Teodor Rus (Iowa City, IA, USA) Algebraic Processing of Programming … (Kossuth University, Debrecen, Hungary) & Jürgen Duske (University of Hannover, Germany) …
Manuel Bronstein
Regular bases for algebraic function fields. Manuel Bronstein. INRIA (Sophia An…olis). 1. Page 2. Some problems with algebraic curves and functions ...
Andrzej Tarlecki
Casl ? The Common Algebraic Specification Language semantics and …: 0 self - by, Till, Mossakowski, Anne, Haxthausen, Donald, Sannella, Andrzej, Tarlecki, …
Rainer Burkard
Integer Programming and Combinatorial Optimization: 7th International IPCO Conference, Graz, Austria, June 9-11, 1999, Proceedings (Lecture Notes in Computer …
Peter Aczel
Algebraic and Coalgebraic Methods in the Mathematics of Program …: 01.01.1970: Categories 75 Chapter 3 Algebras and Coalgebras 79 Peter Aczel 1. Introduction …
Carl Johan Lillieroth
Selected Papers of the Eighth Nordic Workshop on Programming Environment Research (NWPER' … Carl Johan Lillieroth, Satnam Singh: Formal Verification of FPGA …