Lecture Notes in Computer Science - STACS 93
Latest Publications

TOTAL DOCUMENTS

73
(FIVE YEARS 0)

H-INDEX

10
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540565031, 9783540475743
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The KIV system a tool for formal program development

1993 ◽  
pp. 704-705 ◽  
Author(s):  
Rainer Drexler ◽  
Wolfgang Reif ◽  
Gerhard Schellhorn ◽  
Kurt Stenzel ◽  
Werner Stephan ◽  
...  
Keyword(s):  
Program Development ◽  
System A ◽  
Formal Program

Circuits with monoidal gates

1993 ◽  
pp. 555-565 ◽  
Author(s):  
Martin Beaudry ◽  
Pierre McKenzie ◽  
Pierre Péladeau

Extended locally definable acceptance types

1993 ◽  
pp. 473-483 ◽  
Author(s):  
Rolf Niedermeier ◽  
Peter Rossmanith

Capabilities and complexity of computations with integer division

1993 ◽  
pp. 463-472 ◽  
Author(s):  
Katharina Lürwer-Brüggemeier ◽  
Friedhelm Meyer
Keyword(s):  
Integer Division
Load More ...
Sign in / Sign up

Export Citation Format

Share Document