Jump to main content

yr 〜
yr

Search results 4

CONCUR '90 : theories of concurrency--unification and extension, Amsterdam, the Netherlands, August 27-30, 1990 : proceedings / J.C.M. Baeten, J.W. Klop, eds. (Lecture notes in computer science)

CONCUR '90 : theories of concurrency--unification and extension, Amsterdam, the Netherlands, August 27-30, 1990 : proceedings / J.C.M. Baeten, J.W. Klop, eds. (Lecture notes in computer science)
Paper図書
Springer-Verlagc1990.<M15-A7513>
National Diet Library
  • Author HeadingBaeten, J. C. M. Klop, J. W. Centrum voor Wiskunde en Info...

Processes, terms and cycles : steps on the road to infinity : essays dedicated to Jan Willem Klop on the occasion of his 60th birthday

Processes, terms and cycles : steps on the road to infinity : essays dedicated to Jan Willem Klop on the occasion of his 60th birthday
Paper図書
Aart Middeldorp ... [et al.] (eds.)Springerc2005
Other Libraries in Japan
  • Author HeadingMiddeldorp, Aart Klop, J. W. (Jan Willem)

CONCUR '90 : theories of concurrency: unification and extension : Amsterdam, the Netherlands, August 27-30, 1990 : proceedings : gw : us

CONCUR '90 : theories of concurrency: unification and extension : Amsterdam, the Netherlands, August 27-30, 1990 : proceedings : gw : us
Paper図書
J.C.M. Baeten, J.W. Klop (eds.)Springer-Verlagc1990
Other Libraries in Japan
  • Author HeadingBaeten, J. C. M. Klop, J. W. (Jan Willem) Centrum voor Wis...

Combinatory reduction systems pbk.

Combinatory reduction systems pbk.
Paper図書
J.W. KlopMathematisch centrum1980
Other Libraries in Japan
  • Author HeadingKlop, J. W. (Jan Willem)

Reached to the end of result.

RSS