Find link

language:

Find link is a tool written by Edward Betts.

searching for Maurice Nivat 4 found (105 total)

Ronald V. Book (207 words) [view diff] exact match in snippet view article find links to article

207 (1): 1–3, doi:10.1016/s0304-3975(98)90025-1. See also foreword by Maurice Nivat, pp. xiii–xiv, and listing of Book's publications, pp. 5–11. McNaughton

Actor model and process calculi history (2,420 words) [view diff] exact match in snippet view article find links to article

Ambients Foundations of Software Science and Computational Structures, Maurice Nivat (Ed.), Lecture Notes in Computer Science, Vol. 1378, Springer, 1998

Peano axioms (6,428 words) [view diff] exact match in snippet view article find links to article

Joseph A. (Dec 1986). "Initiality, induction, and computability". In Maurice Nivat and John C. Reynolds (ed.). Algebraic Methods in Semantics (PDF). Cambridge:

Actor model and process calculi (3,220 words) [view diff] exact match in snippet view article find links to article

Report), University of Bologna Luca Cardelli and Andrew Gordon (1998), Maurice Nivat (ed.), "Mobile Ambients", Foundations of Software Science and Computational