Extensionality of Simply Typed Logic Programs

Analysis of three hybrid systems in timed µCRL

J. F. Groote
J. Van Wamel
Issn -x
Jan Friso Groote
Jos Van Wamel

January 2001

and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NW...

GraphXML An XML based graph interchange format

I. Herman
M. S. Marshall

January 2000

for promotion of mathematics and computer science and their applications. SMC is sponsored by the Ne...

email franckdiunipiit

M. M. Bonsangue
F. Van Breugel
J. J. M. M. Rutten
Mathematisch Centrum (smc
The Dutch Foundation
Mm Bonsangue
F Van Breugel

October 2016

and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NW...

Proving termination of logic programs with delay declarations

E. Marchiori
F. Teusink
Mathematisch Centrum (smc
The Dutch Foundation
Copyright Stichting
Mathematisch Centrum
Elena Marchiori
Frank Teusink

January 1995

and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NW...

ABSTRACT Programming with Dynamic Predicate Logic

D. J. N. Van Eijck
Jan Van Eijck

January 1998

and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NW...

Coalgebra, concurrency, and control

J. J. M. M. Rutten
Issn -x
J. J. M. M. Rutten

January 2000

and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NW...

A complete transformational toolkit for compilers

J. A. Bergstra
T. B. Dinesh
J. Field
J. Heering
Copyright Stichting
Mathematisch Centrum
J. A. Bergstra
J. Heering

January 1996

and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NW...

Computer assisted manipulation of algebraic process specifications

J. F. Groote
B. Lisser
Copyright Stichting
Mathematisch Centrum
Jan Friso Groote
Bert Lisser

January 2001

and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NW...

Rewrite Systems for Integer Arithmetic

H. R. Walters
H. Zantema
Mathematisch Centrum (smc
The Dutch Foundation

January 1995

and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NW...

Automata and behaviours in categories of processes

B. P. F. Jacobs
Bart Jacobs

January 1996

and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NW...

A Perspective on Databases and Data Mining

On Databases
Data Mining
M. Holsheimer
M. Kersten
H. Mannila
H. Toivonen
Marcel Holsheimer
Martin Kersten
Heikki Mannila
Hannu Toivonen

October 2016

and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NW...

The numerical solution of ows that are partially...

E. H. Van Brummelen
E. H. Van Brummelen

January 2000

and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NW...

Curse of NP-completeness ABSTRACT

F. Waas
J. Pellenkoft
Florian Waas
Arjan Pellenkoft

January 1999

and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NW...

Legacy to the extreme

A. Van Deursen
T. Kuipers
L. M. F. Moonen
Issn -x
Arie Van Deursen
Tobias Kuipers
Leon Moonen

January 2001

and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NW...

Resource augmentation in load balancing

Y. Azar
L. Epstein
R. Van Stee
Mathematisch Centrum (smc
The Dutch Foundation
Yossi Azar
Leah Epsteiny
Rob Van Steez

January 2000

and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NW...

Analysis of three hybrid systems in timed µCRL

J. F. Groote
J. Van Wamel
Issn -x
Jan Friso Groote
Jos Van Wamel

January 2001

and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NW...

GraphXML An XML based graph interchange format

I. Herman
M. S. Marshall

January 2000

for promotion of mathematics and computer science and their applications. SMC is sponsored by the Ne...

email franckdiunipiit

M. M. Bonsangue
F. Van Breugel
J. J. M. M. Rutten
Mathematisch Centrum (smc
The Dutch Foundation
Mm Bonsangue
F Van Breugel

October 2016

and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NW...

Proving termination of logic programs with delay declarations

E. Marchiori
F. Teusink
Mathematisch Centrum (smc
The Dutch Foundation
Copyright Stichting
Mathematisch Centrum
Elena Marchiori
Frank Teusink

January 1995

and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NW...

ABSTRACT Programming with Dynamic Predicate Logic

D. J. N. Van Eijck
Jan Van Eijck

January 1998

and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NW...

Coalgebra, concurrency, and control

J. J. M. M. Rutten
Issn -x
J. J. M. M. Rutten

January 2000

and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NW...

A complete transformational toolkit for compilers

J. A. Bergstra
T. B. Dinesh
J. Field
J. Heering
Copyright Stichting
Mathematisch Centrum
J. A. Bergstra
J. Heering

January 1996

and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NW...

Computer assisted manipulation of algebraic process specifications

J. F. Groote
B. Lisser
Copyright Stichting
Mathematisch Centrum
Jan Friso Groote
Bert Lisser

January 2001

and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NW...

Rewrite Systems for Integer Arithmetic

H. R. Walters
H. Zantema
Mathematisch Centrum (smc
The Dutch Foundation

January 1995

and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NW...

Automata and behaviours in categories of processes

B. P. F. Jacobs
Bart Jacobs

January 1996

and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NW...

A Perspective on Databases and Data Mining

On Databases
Data Mining
M. Holsheimer
M. Kersten
H. Mannila
H. Toivonen
Marcel Holsheimer
Martin Kersten
Heikki Mannila
Hannu Toivonen

October 2016

and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NW...

The numerical solution of ows that are partially...

E. H. Van Brummelen
E. H. Van Brummelen

January 2000

and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NW...

Curse of NP-completeness ABSTRACT

F. Waas
J. Pellenkoft
Florian Waas
Arjan Pellenkoft

January 1999

and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NW...

Legacy to the extreme

A. Van Deursen
T. Kuipers
L. M. F. Moonen
Issn -x
Arie Van Deursen
Tobias Kuipers
Leon Moonen

January 2001

and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NW...

Resource augmentation in load balancing

Y. Azar
L. Epstein
R. Van Stee
Mathematisch Centrum (smc
The Dutch Foundation
Yossi Azar
Leah Epsteiny
Rob Van Steez

January 2000

and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NW...

Analysis of three hybrid systems in timed µCRL

J. F. Groote
J. Van Wamel
Issn -x
Jan Friso Groote
Jos Van Wamel

January 2001

and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NW...

GraphXML An XML based graph interchange format

I. Herman
M. S. Marshall

January 2000

for promotion of mathematics and computer science and their applications. SMC is sponsored by the Ne...

email franckdiunipiit

M. M. Bonsangue
F. Van Breugel
J. J. M. M. Rutten
Mathematisch Centrum (smc
The Dutch Foundation
Mm Bonsangue
F Van Breugel

October 2016

and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NW...

Extensionality of Simply Typed Logic Programs

Abstract

Extracted data

Extensionality of Simply Typed Logic Programs

Abstract

Extracted data

Related items

Related items