Mathematical Foundations of Computer Science 1975 4th Symposium, Mariánské Lázně, September 1–5, 1975 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540073895, 9783540375852

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

On some lattice-theoretic properties of generable languages

Mathematical Foundations of Computer Science 1975 4th Symposium, Mariánské Lázně, September 1–5, 1975 - Lecture Notes in Computer Science ◽

10.1007/3-540-07389-2_215 ◽

1975 ◽

pp. 320-325 ◽

Cited By ~ 1

Author(s):

Ivan Mezník

Download Full-text

Proving properties of programs by means of predicate logic

Mathematical Foundations of Computer Science 1975 4th Symposium, Mariánské Lázně, September 1–5, 1975 - Lecture Notes in Computer Science ◽

10.1007/3-540-07389-2_235 ◽

1975 ◽

pp. 465-471

Author(s):

Józef Winkowski

Keyword(s):

Predicate Logic

Download Full-text

On the synthesis of automata with several initial states

Mathematical Foundations of Computer Science 1975 4th Symposium, Mariánské Lázně, September 1–5, 1975 - Lecture Notes in Computer Science ◽

10.1007/3-540-07389-2_230 ◽

1975 ◽

pp. 439-444

Author(s):

Rüdiger Valk

Keyword(s):

Initial States

Download Full-text

First-order reduction of call-by-name to call-by-value

Mathematical Foundations of Computer Science 1975 4th Symposium, Mariánské Lázně, September 1–5, 1975 - Lecture Notes in Computer Science ◽

10.1007/3-540-07389-2_223 ◽

1975 ◽

pp. 377-398 ◽

Cited By ~ 2

Author(s):

Willem P. Roever

Keyword(s):

Order Reduction ◽

First Order

Download Full-text

Conniver programs by logical point of view

Mathematical Foundations of Computer Science 1975 4th Symposium, Mariánské Lázně, September 1–5, 1975 - Lecture Notes in Computer Science ◽

10.1007/3-540-07389-2_202 ◽

1975 ◽

pp. 238-245

Author(s):

Giuseppina Gini ◽

Maria Gini

Keyword(s):

Point Of View ◽

Logical Point

Download Full-text

Control structures in single block programs

Mathematical Foundations of Computer Science 1975 4th Symposium, Mariánské Lázně, September 1–5, 1975 - Lecture Notes in Computer Science ◽

10.1007/3-540-07389-2_198 ◽

1975 ◽

pp. 212-218

Author(s):

Venelin K. Evtimov

Keyword(s):

Control Structures ◽

Single Block

Download Full-text

Non-linear speed-up theorem for two register minsky machines

Mathematical Foundations of Computer Science 1975 4th Symposium, Mariánské Lázně, September 1–5, 1975 - Lecture Notes in Computer Science ◽

10.1007/3-540-07389-2_193 ◽

1975 ◽

pp. 179-185

Author(s):

M. Benešová ◽

I. Korec

Keyword(s):

Linear Speed ◽

Non Linear ◽

Speed Up

Download Full-text

Formal power series and growth functions of Lindenmayer systems

Mathematical Foundations of Computer Science 1975 4th Symposium, Mariánské Lázně, September 1–5, 1975 - Lecture Notes in Computer Science ◽

10.1007/3-540-07389-2_185 ◽

1975 ◽

pp. 101-113 ◽

Cited By ~ 1

Author(s):

Arto Salomaa

Keyword(s):

Power Series ◽

Formal Power Series ◽

Lindenmayer Systems ◽

Growth Functions ◽

Formal Power

Download Full-text

On some problems concerning Pawlak's machines

Mathematical Foundations of Computer Science 1975 4th Symposium, Mariánské Lázně, September 1–5, 1975 - Lecture Notes in Computer Science ◽

10.1007/3-540-07389-2_184 ◽

1975 ◽

pp. 88-100

Author(s):

Miroslav Novotný

Download Full-text

Automata and categories

Mathematical Foundations of Computer Science 1975 4th Symposium, Mariánské Lázně, September 1–5, 1975 - Lecture Notes in Computer Science ◽

10.1007/3-540-07389-2_188 ◽

1975 ◽

pp. 138-152 ◽

Cited By ~ 10

Author(s):

Věra Trnková

Download Full-text

Mathematical Foundations of Computer Science 1975 4th Symposium, Mariánské Lázně, September 1–5, 1975 - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

On some lattice-theoretic properties of generable languages

Proving properties of programs by means of predicate logic

On the synthesis of automata with several initial states

First-order reduction of call-by-name to call-by-value

Conniver programs by logical point of view

Control structures in single block programs

Non-linear speed-up theorem for two register minsky machines

Formal power series and growth functions of Lindenmayer systems

On some problems concerning Pawlak's machines

Automata and categories

Mathematical Foundations of Computer Science 1975 4th Symposium, Mariánské Lázně, September 1–5, 1975 - Lecture Notes in Computer Science
Latest Publications