Yazar

Jan A Bergstra

20 cilt bulundu.

Cilt sonuçları

Instruction Sequences for Computer Science

Jan A Bergstra, Cornelis A. Middelburg · Springer Science & Business Media

241 sayfa · 2012-06-12

Computers

CiltOn the Refinement of Specifications and Hoare's LogicJan A. Bergstra, John V. Tucker

On the Refinement of Specifications and Hoare's Logic

Jan A. Bergstra, John V. Tucker · Yayınevi bilinmiyor

20 sayfa · 1980

Kategori yok

AbstractionFailurs Without ChaosJan A. Bergstra, Jan Willem Klop, E.-R. Olderog

Failurs Without Chaos

Jan A. Bergstra, Jan Willem Klop, E.-R. Olderog · Yayınevi bilinmiyor

26 sayfa · 1986

Abstraction

CiltPC-compactness, a Necessary Condition for the Existence of Sound and Complete Logics of Partial CorrectnessJohannes Aldert Bergstra, Jerzy Tiuryn

PC-compactness, a Necessary Condition for the Existence of Sound and Complete Logics of Partial Correctness

Johannes Aldert Bergstra, Jerzy Tiuryn · Yayınevi bilinmiyor

11 sayfa · 1983

Kategori yok

CiltMachine Function Based Control Code AlgebrasJan A. Bergstra

Machine Function Based Control Code Algebras

Jan A. Bergstra · Yayınevi bilinmiyor

25 sayfa · 2004

Kategori yok

CiltPreliminaries to an Investigation of Reduced Product Set FinanceJan Bergstra

Preliminaries to an Investigation of Reduced Product Set Finance

Jan Bergstra · Yayınevi bilinmiyor

37 sayfa · 2017

Kategori yok

CiltInterest Prohibition and Financial Product InnovationJan Bergstra

Interest Prohibition and Financial Product Innovation

Jan Bergstra · Yayınevi bilinmiyor

9 sayfa · 2017

Kategori yok

CiltFirst International Conference on Rewriting Techniques and ApplicationsInternational Conference on Rewriting Techniques and Applications, Jan Bergstra, Centre National de la Recherche Scientifique, National Science Foundation

First International Conference on Rewriting Techniques and Applications

International Conference on Rewriting Techniques and Applications, Jan Bergstra, Centre National de la Recherche Scientifique, National Science Foundation · Yayınevi bilinmiyor

Sayfa sayısı yok · 1985

Kategori yok

CiltDecidability of Bisimulation Equivalence for Processes Generating Context-free LanguagesJ. C. M. Baeten, J. A. Bergstra, J. W. Klop

Decidability of Bisimulation Equivalence for Processes Generating Context-free Languages

J. C. M. Baeten, J. A. Bergstra, J. W. Klop · Yayınevi bilinmiyor

33 sayfa · 1992

Kategori yok

CiltTerminologie van algebraïsche specificatiesJohannes Aldert Bergstra

Terminologie van algebraïsche specificaties

Johannes Aldert Bergstra · Yayınevi bilinmiyor

122 sayfa · 1987

Kategori yok

CiltTerm Rewriting Systems with PrioritiesJ. C. M. Baeten, J. A. Bergstra, J. W. Klop

Term Rewriting Systems with Priorities

J. C. M. Baeten, J. A. Bergstra, J. W. Klop · Yayınevi bilinmiyor

20 sayfa · 1986

Kategori yok

Logic programmingAlgebra of Communicating Processes with AbstractionJan A. Bergstra, Jan Willem Klop

Algebra of Communicating Processes with Abstraction

Jan A. Bergstra, Jan Willem Klop · Yayınevi bilinmiyor

43 sayfa · 1984

Logic programming

CiltUniform Algebraic Specifications of Finite Sorts with EqualityJan A. Bergstra, Sjouke Mauw, Freek Wiedijk

Uniform Algebraic Specifications of Finite Sorts with Equality

Jan A. Bergstra, Sjouke Mauw, Freek Wiedijk · Yayınevi bilinmiyor

Sayfa sayısı yok · 1989

Kategori yok

CiltDiscrete Time Process AlgebraJ. C. M. Baeten, J. A. Bergstra

Discrete Time Process Algebra

J. C. M. Baeten, J. A. Bergstra · Yayınevi bilinmiyor

81 sayfa · 1992

Kategori yok

Abstract data types (Computer science)Homomorphism Preserving Algebraic Specifications Require Hidden SortsJan A. Bergstra, Jan Heering

Homomorphism Preserving Algebraic Specifications Require Hidden Sorts

Jan A. Bergstra, Jan Heering · Yayınevi bilinmiyor

12 sayfa · 1993

Abstract data types (Computer science)

CiltAlgebraic Specifications for Parametrized Data Types with Minimal Parameter and Target AlgebrasJan A. Bergstra, Jan Willem Klop

Algebraic Specifications for Parametrized Data Types with Minimal Parameter and Target Algebras

Jan A. Bergstra, Jan Willem Klop · Yayınevi bilinmiyor

22 sayfa · 1981

Kategori yok

CiltProcess Algebra with Four-valued LogicJan A. Bergstra, Alban Ponse

Process Algebra with Four-valued Logic

Jan A. Bergstra, Alban Ponse · Yayınevi bilinmiyor

22 sayfa · 1997

Kategori yok

CiltAn Algebraic Specification Method for Processes Over a Finite Action SetJan A. Bergstra, Jan Willem Klop

An Algebraic Specification Method for Processes Over a Finite Action Set

Jan A. Bergstra, Jan Willem Klop · Yayınevi bilinmiyor

13 sayfa · 1983

Kategori yok

CiltAn Arithmetical Module for Rationals and RealsJan A. Bergstra, Alex Sellink

An Arithmetical Module for Rationals and Reals

Jan A. Bergstra, Alex Sellink · Yayınevi bilinmiyor

15 sayfa · 1997

Kategori yok

CiltBMACPJan A. Bergstra, J.W. Klop

BMACP

Jan A. Bergstra, J.W. Klop · Yayınevi bilinmiyor

Sayfa sayısı yok · 1989

Kategori yok