Publications :: Search

Show venue

On this page you see the details of the selected venue.

Conference
Name:	Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia, August 25-29, 1996, Proceedings 1986
DBLP:	db/conf/mfcs/mfcs86.html
Bookmark:

Below you find the publications assigned to this venue.

Show item 1 to 10 of 62  

Select a publication
Show	Title	Venue	Rating	Date
	M. A. Nait Abdallah. AL-Khowarizmi: A Formal System for Higher-Order Logic Programming.	Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia, August 25-29, 1996, Proceedings 1986	(0)	1986
	Farid M. Ablayev, Rusins Freivalds. Why Sometimes Probabilistic Algorithms Can Be More Effective.	Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia, August 25-29, 1996, Proceedings 1986	(0)	1986
	Egidio Astesiano, Gianna Reggio, Martin Wirsing. Relational Specifications and Observational Semantics.	Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia, August 25-29, 1996, Proceedings 1986	(0)	1986
	Helmut Alt, Torben Hagerup, Kurt Mehlhorn, Franco P. Preparata. Deterministic Simulation of Idealized Parallel Computers on More Realistic Ones.	Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia, August 25-29, 1996, Proceedings 1986	(0)	1986
	D. T. Lee. Geometric Location Problems and Their Complexity.	Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia, August 25-29, 1996, Proceedings 1986	(0)	1986
	Bernd Becker. Efficient Testing of Optimal Time Adders (Extended Abstract).	Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia, August 25-29, 1996, Proceedings 1986	(0)	1986
	Jean Berstel, Jacques Sakarovitch. Recent Results in the Theory of Rational Sets.	Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia, August 25-29, 1996, Proceedings 1986	(0)	1986
	Peter van Emde Boas. A Semantical Model for Integration and Modularization of Rules.	Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia, August 25-29, 1996, Proceedings 1986	(0)	1986
	Manfred Broy. Partial Interpretations of Higher Order Algebraic Types (Extended Abstract).	Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia, August 25-29, 1996, Proceedings 1986	(0)	1986
	Siegfried Bublitz, Ute Schürfeld, Bernd Voigt, Ingo Wegener. Properties of Complexity Measures for PRAMs and WRAMs.	Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia, August 25-29, 1996, Proceedings 1986	(0)	1986

Your query returned 62 matches in the database.