Hans Bekic - RankMe

17 papers Unranked 16

Year	Rank	Type	Title / Venue / Authors
1984	—	`conf`	A Model of Nondeterminism: Indexed Sets and Their Equivalence. Programming Languages and Their Definition Hans Bekic
1984	—	`conf`	Definable Operation in General Algebras, and the Theory of Automata and Flowcharts. Programming Languages and Their Definition Hans Bekic
1984	—	`conf`	Defining a Language in its Own Terms. Programming Languages and Their Definition Hans Bekic
1984	—	`conf`	Formalization of Storage Properties. Programming Languages and Their Definition Hans Bekic, Kurt Walk
1984	—	`conf`	From comments arising from a lecture in Amsterdam, June 1972. Programming Languages and Their Definition Hans Bekic
1984	—	`conf`	Mathematical Semantics and Compiler Correctness. Programming Languages and Their Definition Hans Bekic
1984	—	`conf`	Nondeterministic Functions and the Semantics of CSP. Programming Languages and Their Definition Hans Bekic
1984	—	`conf`	Nondeterministic Programs: An Example. Programming Languages and Their Definition Hans Bekic
1984	—	`conf`	Note on Some Problems Concerning the PL/I Manual and its Rewriting. Programming Languages and Their Definition Hans Bekic
1984	—	`conf`	Note on a Test Example for ALGOL 60 Compilers by D. E. Knuth. Programming Languages and Their Definition Hans Bekic
1984	—	`conf`	On the Formal Definition of a PL/I Subset (Selected parts). Programming Languages and Their Definition Hans Bekic, Dines Bjørner, Wolfgang Henhapl, Cliff B. Jones, Peter Lucas
1984	—	`conf`	On the formal Definition of Programming Language. Programming Languages and Their Definition Hans Bekic
1984	—	`conf`	The Assignment to a Type Procedure Identifier in ALGOL 60. Programming Languages and Their Definition Hans Bekic
1984	—	`conf`	The Meaning of Names in PL/I. Programming Languages and Their Definition Hans Bekic
1984	—	`conf`	The Semantics of Parallel Processing. Programming Languages and Their Definition Hans Bekic
1984	—	`conf`	Towards a Mathematical Theory of Processes. Programming Languages and Their Definition Hans Bekic
1971	—	`ch.`	Formalization of storage properties. Symposium on Semantics of Algorithmic Languages Hans Bekic, Kurt Walk