Publications :: Search

Show venue

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

Conference
Name:	Mathematical Foundations of Computer Science 1980 (MFCS'80), Proceedings of the 9th Symposium, Rydzyna, Poland, September 1-5, 1980 1980
DBLP:	db/conf/mfcs/mfcs80.html
Bookmark:

Below you find the publications assigned to this venue.

Show item 1 to 10 of 53  

Select a publication
Show	Title	Venue	Rating	Date
	André Arnold, Maurice Nivat. Controlling Behaviours of Systems: Some Basic Concepts and some Applications.	Mathematical Foundations of Computer Science 1980 (MFCS'80), Proceedings of the 9th Symposium, Rydzyna, Poland, September 1-5, 1980 1980	(0)	1980
	Giorgio Ausiello, Carlo Batini, Marina Moscarini. Conceptual Relations between Databases Transformed under Join and Projection.	Mathematical Foundations of Computer Science 1980 (MFCS'80), Proceedings of the 9th Symposium, Rydzyna, Poland, September 1-5, 1980 1980	(0)	1980
	X. Berenguer, J. Díaz. The Weighted Sperner's Set Problem.	Mathematical Foundations of Computer Science 1980 (MFCS'80), Proceedings of the 9th Symposium, Rydzyna, Poland, September 1-5, 1980 1980	(0)	1980
	Eike Best. Proof of a Concurrent Program Finding Euler Paths.	Mathematical Foundations of Computer Science 1980 (MFCS'80), Proceedings of the 9th Symposium, Rydzyna, Poland, September 1-5, 1980 1980	(0)	1980
	Wolfgang Bibel. A Theoretical Basis for the Systematic Proof Method.	Mathematical Foundations of Computer Science 1980 (MFCS'80), Proceedings of the 9th Symposium, Rydzyna, Poland, September 1-5, 1980 1980	(0)	1980
	Dines Bjørner. Formal Description of Programming Concepts: A Software Engineering Viewpoint.	Mathematical Foundations of Computer Science 1980 (MFCS'80), Proceedings of the 9th Symposium, Rydzyna, Poland, September 1-5, 1980 1980	(0)	1980
	J. Dean Brock. Consistent Semantics for a Data Flow Language.	Mathematical Foundations of Computer Science 1980 (MFCS'80), Proceedings of the 9th Symposium, Rydzyna, Poland, September 1-5, 1980 1980	(0)	1980
	Rod M. Burstall. Electronic Category Theory.	Mathematical Foundations of Computer Science 1980 (MFCS'80), Proceedings of the 9th Symposium, Rydzyna, Poland, September 1-5, 1980 1980	(0)	1980
	Luca Cardelli. Analog Processes.	Mathematical Foundations of Computer Science 1980 (MFCS'80), Proceedings of the 9th Symposium, Rydzyna, Poland, September 1-5, 1980 1980	(0)	1980
	Mario Coppo. An Extended Polymorphic Type System for Applicative Languages.	Mathematical Foundations of Computer Science 1980 (MFCS'80), Proceedings of the 9th Symposium, Rydzyna, Poland, September 1-5, 1980 1980	(0)	1980

Your query returned 53 matches in the database.