Die Ergebnisse können Gästen nur in Auswahl angezeigt werden. Bitte loggen Sie sich für Vollzugriff ein:
Login
Treffer 1 - 8
von 8
Sie haben nicht gefunden, wonach Sie gesucht haben? Dann versuchen Sie es doch mit einer Fernleihe oder machen Sie einen Kaufvorschlag.
Treffer weiter einschränken
Begrenzen auf
Ergebnisse erweitern
Publikationstyp
Thema
language
3
calculus
2
expressions
2
semantics
2
systems
2
verification
2
mehr ...
algorithms
1
assertions
1
bisimulation
1
boltzmann samplers
1
classical-logic
1
coinduction
1
combinatorial structures
1
computation
1
computer sciences
1
continuation
1
continued fractions
1
definition
1
fixed points
1
fixed-point theorems
1
floyd-hoare logic
1
formal specifications
1
full abstraction
1
history
1
java
1
jml
1
jump
1
logic
1
logics
1
monad
1
weniger ...
Erschienen in
acm transactions on programming languages and systems
1
annals of combinatorics
1
annals of software engineering
1
computer journal
1
departmental technical reports (cs
1
journal of functional programming
1
mehr ...
journal of logic and algebraic programming
1
theoretical computer science
1
weniger ...
Verlag
Datenbank
Erscheinungsjahr
Filter