( en | de | ru )

 

Disambiguation of "Fokkinga, Maarten M."

Author of the publication

copydeleteadd this publication to your clipboard
An Exercise in Transformational Programming: Backtracking and Branch-and-Bound.

. Sci. Comput. Program., 16 (1): 19-48 (1991)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Maarten Boersma

Maarten Schroen

Maarten Löffler

Maarten Bynens

Maarten Thomas

 

Other publications of authors with the same name

A Correctness Proof of Sorting by Means of Formal Procedures.. Sci. Comput. Program., 9 (3): 263-269 (1987)Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire., , and . FPCA, volume 523 of Lecture Notes in Computer Science, page 124-144. Springer, (1991)Ranking Query Results using Context-Aware Preferences., , , and . ICDE Workshops, page 269-276. IEEE Computer Society, (2007)Subtyping Can Have a Simple Semantics., and . Theor. Comput. Sci., 87 (1): 81-96 (1991)Ignorance in the Relational Model.. TDM, volume WP06-01 of CTIT Workshop Proceedings Series, page 33-40. Centre for Telematics and Information Technology (CTIT), University of Twente, Enschede, The Netherlands, (2006)Protocol Assuring Universal Language., and . FMOODS, volume 139 of IFIP Conference Proceedings, page 241-258. Kluwer, (1999)Data Exchange over Web-based Applications with DXL., , , and . DIWeb, page 17-33. University of Toronto Press, (2002)An Exercise in Transformational Programming: Backtracking and Branch-and-Bound.. Sci. Comput. Program., 16 (1): 19-48 (1991)Z-style notation for Probabilities.. TDM, volume WP06-01 of CTIT Workshop Proceedings Series, page 19-24. Centre for Telematics and Information Technology (CTIT), University of Twente, Enschede, The Netherlands, (2006)Aligning Application Architecture to the Business Context., , , and . CAiSE, volume 2681 of Lecture Notes in Computer Science, page 209-225. Springer, (2003)