Hans Mulder

According to our database, Hans Mulder authored at least 3 papers between 1986 and 1994.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1994

Regularity of BPA-Systems is Decidable.

Sjouke Mauw, Hans Mulder

Proceedings of the CONCUR '94, 1994

1992

Business Opportunities in Hypermedia Applications (Panel).

Attilio Stajano, Bruno Cerboni, G. Degli Antoni, Hans Mulder, Gérard Roucairol, Erich J. Neuhold, Eddy Odijk, Pier Carlo Ravasio, Jan Ritchie, Jack Schiff

Proceedings of the ECHT '92: European Conference on Hypertext Technology, November 30, 1992

1986

Finite Kripke models of HA are locally PA.

Erik C. W. Krabbe, Hans Mulder, Albert Visser, Dirk van Dalen

Notre Dame J. Formal Log., 1986