Inhoudsopgave 1 Algemeen/missie 1



Download 1.99 Mb.
Page9/19
Date18.10.2016
Size1.99 Mb.
1   ...   5   6   7   8   9   10   11   12   ...   19

Nagekomen publicaties
Laan, P. van der; Eeden, P. van:

Some generalized subset selection procedures.

Selection Procedures I/II, Proceedings of the 3rd Schwerin Conference on Mathematical Statistics, Selection Procedures, Bad Doberan, Duitsland, 1993, pp. 84-91.
Abstracts
Wetenschappelijke publicaties (niet gerefereerd)
Adan, I.J.B.F.; Houtum, G.J. van; Wal, J. van der:

The symmetric longest queue sytem.

Memorandum COSOR 94-33, 1994, pp. 12.

Submitted for Stochastic Models.


Adan, I.J.B.F.; Eenige, M.J.A.; Resing, J.A.C.:

Fitting discrete distributions on the first two moments.

Memorandum COSOR 94-36, EUT, Eindhoven, 1994, pp. 7.

Sumitted for PEIS.


Adan, I.J.B.F.; Zhao, Y.:

Analyzing GIEr 1 queues.

Memorandum COSOR 94-37, EUT, Eindhoven, 1994, pp. 9.

Submitted for publication in Opns.Res.Lett.


Akker, J.M. van den:

Column generation for single-machine scheduling problems.

Abstractenboek conferentie Combinatorial Optimization 94, 1994, p. 1.
Akker, J.M. van den:

Column generation for single-machine scheduling problems.

Abstractenboek 15th International Symposium on Mathematical Programming, 1994, p. 1.
Anthonisse, J.M.; Lenstra, J.K.:

Operational operations research at the Mathematical Centre.

In: Apt, K., Schrijver, A., Temme, N. (eds.) From Universal Morphisms to Megabytes: A Baayen Space Odyssey, CWI, Amsterdam, 1994, pp. 59-64.
Berkum, E.E.M. van; Linssen, H.N.; Overdijk, D.A.:

Inference rules and inferential distributions.

Memorandum COSOR 94-14, EUT, Eindhoven, 1994, pp. 12.
Berkum, E.E.M. van; Linssen, H.N.; Overdijk, D.A.:

The reduction and ancillary classification of observations.

Memorandum COSOR 94-15, EUT, Eindhoven, 1994, pp. 25.
Bondesson, L.; Kristiansen, G.K.; Steutel, F.W.:

Infinite divisibility of random variables and their integer parts.

U.U.D.M. rapport 1994:40, Dept. Mathematics, Uppsala university, Uppsala, Zweden, 1994, pp. 8.
Chakraborti, S.; Laan, P. van der:

Precedence tests and confidence bounds for complete data: an overview and some results.

Memorandum COSOR 94-19, EUT, Eindhoven, 1994, pp. 33.
Coolen, F.P.A.; Dekker, R.:

Analysis of a 2-phase model for optimization of condition monitoring intervals.

Econometric Institute Report 9428/A, Erasmus universiteit Rotterdam, 1994, pp. 22.
Coolen, F.P.A.; Newby, M.J.:

Bayesian reliability analysis with imprecise prior probabilities.

Reprint series Bdk/481, EUT, Eindhoven, 1994, pp. 11.
Di Bucchianico, A.:

Representations of stochastic processes.

Accepted by Syst. & Control Letter, 1994, pp. 9.
Di Bucchianico, A.; Loeb, D.:

A proof conjecture of Narayana on dominance refinements of the Kolmogorov-Smirnov two-sample test.

Memeorandum COSOR 94-18, EUT, Eindhoven, 1994, pp. 6.
Diks, E.B.; Kok, A.G. de:

Controlling a divergent 2-echelon network with transshipment using the consistent appropria­te share rationing policy.

Memorandum COSOR 94-40, EUT, Eindhoven, 1994, pp. 20.
Eenige, M.J.A.; Wal, J. van der:

An MPh1 queueing system subject to breakdowns with non-homogeneous interarrival, service, life and repair times.

Memorandum COSOR 94-13, EUT, Eindhoven, 1994, pp. 12.
Einmahl, J.H.J.:

A short and elementary proof of the main Bahadur-Kiefer theorem.

Memorandum COSOR 94-26, EUT, Eindhoven, 1994, pp. 6.
Einmahl, J.H.J.:

Extension to higher dimensions of the Jaeschke-Eicker result on the standardized empirical process.

Memorandum COSOR 94-31, EUT, Eindhoven, 1994, pp. 7.
Harn, K. van; Steutel, F.W.:

Infinite divisibility and the waiting-time paradox.

Memorandum COSOR 94-24, EUT, Eindhoven, 1994, pp. 11.

Hoogeveen, J.A.; Velde, S.L. van de:

Using positional completion times to solve a two machine flow shop problem involving batching and scheduling.

Abstractenboek 15th International Symposium on Mathematical Programming, 1994, pp. 1.


Houtum, G.J. van; Adan, I.J.B.F.; Wessels, J.; Zijm, W.H.M.:

The equilibrium distribution for a class of multi-dimensional random walks.

Memorandum COSOR 94-01, EUT, Eindhoven, 1994, pp. 54.

Submitted for publication in Adv. Appl. Prob.


Houtum, G.J. van; Adan, I.J.B.F.; Wessels, J.; Zijm, W.H.M.:

On the precedence relation method for deriving flexible bound models for queueing systems.

Memorandum COSOR 94-27, EUT, Eindhoven, 1994, pp. 6.
Kok, A.G.:

Logistics aspects of concurrent engineering: a decision support framework.

Intern rapport BDK/LBS-9412, EUT, Eindhoven, 1994, pp. 25.
Kok, A.G. de; Lagodimos, A.G.; Siedel, H.P.:

Stock allocation in a two-echelon distribution system.

Intern rapport BDK/LBS-9403, EUT, Eindhoven, 1994, pp. 19.
Kok, A.G. de; Verrijdt, J.:

Distribution planning for a divergent N-echelon network without intermediate stocks under service restrictions.

Intern rapport BDK/LBS-9404, EUT, Eindhoven, 1994, pp. 29.
Kok, A.G. de; Donselaar, K.; Rutten, W.:

Two replenishment strategies for the lost sales inventory model: a comparison.

Intern rapport BDK/LBS-9407, EUT, Eindhoven, 1994, pp. 16.
Kok, A.G. de; Fransoo, J.; Paulli, J.:

Makespan estimations in flexible manifacturing systems.

Intern rapport BDK/LBS-9414, EUT, Eindhoven, 1994, pp. 17.
Laan, P. van der:

Distributional and efficiency results for subset selection.

Memorandum COSOR 94-03, EUT, Eindhoven, 1994, pp. 16.
Laan, P. van der:

Subset selction for exponential populations: Determination of the select constant.

Memorandum COSOR 94-07, EUT, Eindhoven, 1994, pp. 6.
Righini, G.; Trubian, M.:

Approximation algorithms for the General and the Asymmetric Stacker-Crane problems.

Memorandum COSOR 94-20, EUT, Eindhoven, 1994, pp. 50.
Righini, G.:

A double-annealing algorithm for discrete location/allocation problems.

Memorandum COSOR 94-04, EUT, Eindhoven, pp. 16.

Accepted for publication on EJOR.


Wessels, J.:

Comments on 'Decision Analysis and Support'

Science and Sustainability: discussions and comments on selected papers on IIASA's twen­tieth anniversary, IIASA, Laxenburg, 1994, pp. 143-145.
Williamson, D.P.; Hall, LJ.A.; Hoogeveen, J.A.; Hurkens, C.A.J.; Lenstra, J.K.; Shmoys, D.B.:

Short shop schedules.

Memorandum COSOR 94-06, EUT, Eindhoven, 1994, pp. 15.
Zante, van-Fokkert, J.I. de; Di Bucchianico, S.; Wijnen, J.Th.M.; Praagman, C.:

Average run lenghts for control charts for correlated output of feedback processes.

Technometrics, 1994, pp. 31, to appear.
Vakpublicaties
Venema, W.Z.:

"TCP WRAPPER, network monitoring, access control and booby traps". UNIX Security Symposium III Proceedings (Baltimore).


Venema, W.Z.:

CERT Advisory CA-94:15, december 1994.

NFS Vulnerabilities.
1.3

VF-code: TUE.WSK.303.90.25

Vf-programma:

DISCRETE STRUCTUREN 3
Dissertaties
Sun, F.W.:

Decoding Techniques and a Modulation Scheme for Band Limited Communication.

Promotoren: prof.dr.ir. H.C.A. van Tilborg, prof.dr.ir. J.P.M. Schalkwijk.

Eindhoven, 22 februari 1994, pp. 55.


Bours, P.A.H.:

Codes for Correcting Insertion and Deletion Errors.

Promotoren: prof.dr. J.H. van Lint, prof.dr.ir. H.C.A. van Tilborg.

Eindhoven, 22 juni 1994, pp. 155.


Koolen, J.H.:

Euclidean Representations and Substructures of Distance-Regular Graphs.

Promotoren: prof.dr. A.E. Brouwer, prof.dr. A.M. Cohen.

Eindhoven, 21 september 1994, pp. 122.


Struik, R.:

Covering Codes.

Promotoren: prof.dr. J.H. van Lint, prof.dr.ir. H.C.A. van Tilborg.

Eindhoven, 25 oktober 1994, pp. 106.


Tilburg, J. van:

Security-Analysis of a Class of Cryptosystems Based on Linear Error-Correcting Codes.

Promotoren: prof.dr.ir. H.C.A. van Tilborg, prof.dr. A.E. Brouwer.

Eindhoven, 29 november 1994, pp. 197. (II)


Hekstra, A.P.:

Capacity and Coding in Digital Communications.

Promotoren: prof.dr.ir. J.P.M. Schalkwijk, prof. Berger.

Eindhoven, 22 december 1994, pp. 165. (III) (E)


Wetenschappelijke publicaties (gerefereerd)
Amrani, O.; Be'ery, Y.; Vardy, A.; Sun, F.W.; Tilborg, H.C.A. van:

The Leece lattice and the Golay code: bounded distance decoding and multilevel constructi­ons.

IEEE Transactions Information Theory, Vol. IT-40, 1994, pp. 1030-1043.
Blaum, M.; Bruck, J.; Melas, C.M.; Tilborg, H.C.A. van:

Methods for synchronizing (d,k)-constrained sequences.

IEEE International Conference on Communications, 1994, pp. 1800-1808.
Blokhuis, A.:

Multiple nuclei and the Lunelli-Sce conjecture.

Bulletin of the Belgian Mathematical Society Simon Stevin 1, 1994, pp. 349-353.
Blokhuis, A.:

On nuclei and affine blocking sets.

Journal of Combinatorial Theory A 6, 1994, pp. 273-276.
Blokhuis, A.:

On the size of a blocking set in PG(2,p).

Combinatorica 14, 1994, pp. 111-114.
Blokhuis, A.; Szonyi, T.:

Irregular weighting of 1-designs.

Discrete Mathematics 131, 1994, pp. 339-343.
Bours, P.A.H.:

Construction of fixed-length insertion/deletion correcting runlenght-limited codes.

IEEE Transactions on Information Theory, Vol. IT-40, no. 5, 1994, pp. 16.

Bours, P.A.H.:

Codes capable of correcting burts of insertions and deletions.

In: Proceedings of the 1994 International Symposium on Information Theory, 1994, pp. 63.


Brouwer, A.E.:

On the uniqueness of a regular thin near octagon on 288 vertices.

(or the semibiplane belonging to the Mathieu group M_12).

Discr. Math. 126, 1994, pp. 13-27.


Brouwer, A.E.:

Finite graphs in which the point neighbourhoods are the maximal independent sets.

In: Apt, K., Schrijver, A., Temme, N. (eds.) From Universal Morphisms to Megabytes: A Baayen Space Odyssey, Stichting Mathematisch Centrum, Amsterdam, 1994, pp. 231-233.
Brouwer, A.E.; Cohen, A.M.; Hall, J.I.; Wilbrink, H.A.:

Near polygons and Fischer spaces.

Geometriae Dedicata 49, 1994, pp. 349-368.
Brouwer, A.E.; Numata, M.:

A characterization of some graphs which do not contain 3-claws.

Discr. Math. 124, 1994, pp. 49-54.
Bruijn, N.G. de:

A model for information processing in human memory and consciousness.

Nieuw Archief Wiskunde, Vol. 12 (4), 1994, pp. 35-48.
Bruijn, N.G. de:

Highlighting the lambda-free fragment of automath.

In: Higher Order Logic Theorem Proving and its Applications. Proceedings 7th International Workshop, Valetta, Malta, LNCS Vol. 859, Springer Verlag 1994, pp. 81-96.
Bruijn, N.G. de:

Verification of mathematical proofs by a computer. A preparatory study for a project auto­math.

In: Nederpelt, R.P., Geuvers, J.H., Vrijer, R.C. de (eds.) Selected Papers on Automath., Studies in Logic, Vol. 133, North-Holland, 1994, pp. 57-72.
Bruijn, N.G. de:

Reflections on Automath.

In: Nederpelt, R.P., Geuvers, J.H., Vrijer, R.C. de (eds.) Selected Papers on Automath., Studies in Logic, Vol. 133, North-Holland, 1994, pp. 201-228.
Bruijn, N.G. de:

AUT-SL, a single line version of automath.

In: Nederpelt, R.P., Geuvers, J.H., Vrijer, R.C. de (eds.) Selected Papers on Automath., Studies in Logic, Vol. 133, North-Holland, 1994, pp. 275-281.
Bruijn, N.G. de:

Some extensions of automath: the AUT4-family.

In: Nederpelt, R.P., Geuvers, J.H., Vrijer, R.C. de (eds.) Selected Papers on Automath., Studies in Logic, Vol. 133, North-Holland, 1994, pp. 283-288.
Bruijn, N.G. de:

AUT-QE without type inclusion.

In: Nederpelt, R.P., Geuvers, J.H., Vrijer, R.C. de (eds.) Selected Papers on Automath., Studies in Logic, Vol. 133, North-Holland, 1994, pp. 289-297.
Bruijn, N.G. de:

Example of a text written in automath.

In: Nederpelt, R.P., Geuvers, J.H., Vrijer, R.C. de (eds.) Selected Papers on Automath., Studies in Logic, Vol. 133, North-Holland, 1994, pp. 687-700.
Bruijn, N.G. de:

The mathematical vernacular, a language for mathematics with typed sets.

In: Nederpelt, R.P., Geuvers, J.H., Vrijer, R.C. de (eds.) Selected Papers on Automath., Studies in Logic, Vol. 133, North-Holland, 1994, pp. 865-935.
Bruijn, N.G. de:

Computer program semantics in space and time.

In: Nederpelt, R.P., Geuvers, J.H., Vrijer, R.C. de (eds.) Selected Papers on Automath., Studies in Logic, Vol. 133, North-Holland, 1994, pp. 947-972.
Cohen, A.M.:

Yet another lecture on the icosahedron.

In: Apt, K., Schrijver, L., Temme, N. (eds.), From Universal Morphisms to Megabytes: A Baayen Space Odyssey, Amsterdam, 1994, pp. 247-267.
Cohen, A.M.:

Recent results on Coxeter groups.

In: Bisztriczky, T., McMullen, P., Schneider, R., Ivi_ Weiss, A. (eds.), Polytopes: Abstracts, Convex and Computational, Kluwer Acad.Publ., Dordrecht, 1994, pp. 1-19.
Cuypers, H.:

Sympletic geometries, transvection groups and modules.

Journal of Combinatorial Theory A 65, 1994, pp. 39-59.
Dijk, M. van:

A linear construction of perfect secret sharing schemes.

Pre-Proceedings of Eurocrypt'94, 1994, pp. 9-12.
Dijk, M. van:

On the information rate of perfect secret sharing schemes.

Proceedings ISIT'94, 1994, p. 489.
Dijk, M. van:

Broadcast channels with confidential messages, with tampering - the binary symmetric case.

In: Proceedings of the Eidma Winter meeting on Coding Theory, Information Theory and Cryptology, 1994, p. 42.
Duursma, I.M.; Kötter, R.:

Error-locating pairs for cyclic codes.

IEEE Transactions on Information Theory, Vol.40, 1994, pp. 1108-1121.
Duursma, I.M.:

On erasure decoding of AG-codes.

Proceedings IEEE Information Theory Workshop, Moskou, 1994, pp. 24-26.
Eupen, M. van:

Five new optimal ternary linear codes.

IEEE Transactions on Information Theory, Vol. 40, 1994, p. 193.
Eupen, M. van:

Four non-existence results for ternary linear codes.

In: Proceedings of the 1994 IEEE International Symposium on Information Theory, 1994, p. 432.
Eupen, M. van; Brouwer, A.E.:

The correspondence between projective codes and 2-weight codes.

In: Proceedings of the EIDMA Winter meeting on Coding Theory, Information Theory and Cryptology, 1994, p. 39.
Eupen, M. van; Hill, R.:

An optimal ternary [69,5,45] code and related codes.

Design, Codes, and Cryptography, Vol. 4, no. 3, 1994, pp. 271-282.
Koolen, J.H.; Sphectorov, S.V.:

Distance-regular graphs whose distance matrix has only one positive eigenvalue.

European Journal of Combinatorics 15, 1994, pp. 269-275.
Lint, J.H. van:

What is Discrete Mathematics and how should we teach it?

Selected Lectures from the 7th Int. Congress on Math. Education, 1994, pp. 263-270.
Lint, J.H. van:

Onder verhoogde druk.

Rede opening academisch jaar 1994/1995, EUT, Eindhoven, 1994, pp. 20.
Pellikaan, R.:

The shift bound for cyclic, Reed-Muller and algebraic-geometric codes.

Proceedings IEEE International Workshop on Information Theory, Moskou, 1994, pp. 75-76.
Peremans, W.:

An introduction.

Nieuw Archief voor Wiskunde 12 (4), 1994, pp. 135-136.

Schalkwijk, J.P.M.; Meeuwissen, H.B.; Bloemen, A.H.A.:

A Substantial Improvement of the Lower Bound to the Capacity Region of the Binary Mul­tiplying Channel.

Proceedings fifteenth Symposium on Information Theory in the Benelux, Louvain-la-Neuve, België, 1994, pp. 175-182. (E)


Schalkwijk, J.P.M.; Meeuwissen, H.B.; Bloemen, A.H.A.:

A New Coding Strategy for the Binary Multiplying Channel.

Proceedings Fourth Benelux-Japan Workshop on Coding and Information Theory, Eindhoven, 1994, p. 16. (E)
Schalkwijk, J.P.M.; Meeuwissen, H.B.; Bloemen, A.H.A.:

Semi-feedback for the Binary Multiplying Channel.

Proceedings 1994 IEEE International Symposium on Information Theory, Trondheim, Noor­wegen, 1994, p. 325. (E)
Seidel, J.J.:

Discrete Non-Euclidean geometry.

`In: Buekenhout, F. (ed.) Handbook of Incidence Geometry, chapter 15, 1994, pp. 75.
Seidel, J.J.:

Distance matrices and Lorentz space.

European Journal of Combinatorics 15, 1994, pp. 45-46.
Seidel, J.J.; Neumaier, A.:

Measures of strenght 2e optiml designs of degree e.

The Indian Journal Statis. 54, 1994, pp. 299-309.
Seidel, J.J.; Cameron, P.J.; Tsaranov, S.V.:

Signed graphs, root lattices and Coxeter groups.

Journal Algebra 164, 1994, 173-209.
Struik, R.:

An improvement of the Van Wee bound for binary linear covering codes.

IEEE Trans. Inform. Theory, Vol. IT-40, 1994, pp. 1280-1284.
Struik, R.:

On the structure of linear codes with covering radius two and three.

IEEE Trans. Inform. Theory, Vol. IT-40, 1994, pp. 1406-1416.
Sun, F.W.; Tilborg, H.C.A. van:

Some features of coset decoding.

In: Proceedings of IEEE International Workshop on Information Theory, Moskou, Rusland, 1994, pp. 95-97.
Sun, F.W.; Tilborg, H.C.A. van:

Fast bounded-distance decoding of the Nordstrom-Robinson code.

In: Blahut, R.E., e.a. (eds.) Communications and Cryptology; two sides of the same tapestry,

Kluwer Academic Publishers, Boston, 1994, pp. 391-398.


Tilborg, H.C.A. van; Rienstra, S.W.; Bussemaker, F.C.:

Code voor positionering van een as.

IWDE Report 94-02, t.b.v. PNEU/TEC B.V., 1994, pp. 16.
Veugen, P.J.M.:

Error Probabilities of Repetition Feedback Strategies with Fixed Delay for Discrete Memory­less Channels.

Prceedings Fifteenth Symposium on Information Theory in the Benelux, Louvain-la-Neuve, België, 1994, pp. 188-191. (E)
Veugen, P.J.M.:

Computing the Precoding Distribution of a Capacity Achieving Repetition Feedback Strategy.

Proceedings Fourth Benelux-Japan Workshop on coding and Information Theory, Eindhoven, 1994, p.17. (E)
Veugen, P.J.M.:

Capacity Achieving Strategies for Discrete Memoryless Channels with Feedback.

Proceedings 1994 IEEE International Symposium on Information Theory, Trondheim, Noor­wegen, 1994, p. 466. (E)
Wiemans, F.P.E.; Smits, J.M.; Tilborg, H.C.A. van:

Encryptie: justitiële en particuliere belangen.

Delikt en delinkwent, 1994, pp. 340-359.
Nagekomen publicaties
Blokhuis, A.:

Extremal problems for finite sets.

In: Frankl, P., Furedi, Z., Kantona, G., Miklos, D. (eds.) Bolay Society Mathematical Studies 3, 1991, pp. 111-135.
Wetenschappelijke publicaties (niet gerefereerd)
Bloemen, A.H.A.:

Practical Save-Up Strategies.

Proceedings EIDMA Winter Meeting on Coding Theory, Information Theory and Cryptology, Veldhoven, 1994, p. 19. (E)
Boer, M.A. de:

The generalized hamming weights of some hyperelliptic codes.

Proceedings of the EIDMA Winter Meeting on Coding Theory, Information Theory and Cryptology, 1994, p. 49.
Duursma, I.M.:

On termination criteria for decoding algorithms.

Proceedings EIDMA Winter Meeting, Veldhoven, 1994, pp. 50-51.

Pellikaan, R.:

On asymptotically good codes on algebraic curves.

Proceedings EIDMA Midwinter Meeting, Veldhoven, 1994, p. 47.


Veugen, P.J.M.:

Constrained Sequences and Optimization.

Proceedings EIDMA Winter Meeting on coding Theory, Information Theory and Cryptology, Veldhoven, 1994, p. 22. (E)
1.4

VF-code: TUE.INF.301.90.26

VF-programma: PROGRAMMEREN
Dissertaties
Borghuis, V.A.J.:

Coming to Terms with Modal Logic: On the interpretation of modalities in typed λ-calculus.

Promotoren: prof.dr. J.C.M. Baeten, prof.dr. H.C. Bunt. Co-promotor: dr. R.P. Nederpelt.

Eindhoven, 9 december 1994, pp. 229. (I)


Poll, E.:

A Programming Logic Based on Type Theory.

Promotoren: prof.dr. F.E.J. Kruzeman Aretz, prof.dr. H.P. Barendregt. Co-promotor: dr.ir. C. Hemerik.

Eindhoven, 5 oktober 1994, pp. 169. (I)


Wetenschappelijke publicaties (gerefereerd)
Backhouse, R.C.; Eijnde, J.P.H.W. van den; Gasteren, A.J.M. van:

Calculating path algorithms.

Science of Computer Programming, Vol. 22, no. 1/2, 1994, pp. 3-19.
Barbanera, F.; Fernández, M.; Geuvers, J.H.:

Modularity of Strong Normalization in lambda-algebraic-cube.

Proceedings of the ninth Annual Symposium on Logic in Computer Science, IEEE Computer Society, Parijs, Frankrijk, 1994, pp. 406-415.
Benthem Jutting, L.S. van:

The language theory of lambda-omega, a typed lambda calculus where terms are types.

Republication in Selected Papers on Automath, Studies in logic and the foundations of mathematics, Vol. 133, 1994, pp. 655-684.
Benthem Jutting, L.S.van:

An implementation of substitution in a lambda calculus with dependent types.

Republication in Selected Papers on Automath, Studies in logic and the foundations of mathematics, Vol. 133, 1994, pp. 809-838.

Benthem Jutting, L.S.van:

Description of AUT-68.

Republication in Selected Papers on Automath, Studies in logic and the foundations of mathematics, Vol. 133, 1994, pp. 251-274.


Benthem Jutting, L.S.van:

A normal form theorem in a lambda calculus with types.

Republication in Selected Papers on Automath, Studies in logic and the foundations of mathematics, Vol. 133, 1994, pp. 371-374.
Benthem Jutting, L.S.van:

Checking Landau's "Grundlagen" in the Automath system.

Republication in Selected Papers on Automath, Studies in logic and the foundations of mathematics, Vol. 133, 1994, pp. 701, 720-732, 763-780, 805-808.
Doornbos, H.:

A relational model of programs without the restriction to Egli-Milner-Monotonic Constructs.

In: Olderog, E.R. (ed.) Programming Concepts, Methods and Calculi (A-56), Elsevier Science BV, North-Holland, 1994, pp.357-376.
Geuvers, J.H.:

Conservativity between logics and typed lambda calculi.

In: Barendregt, H., Nipkow, T. (eds.) Types for Proofs and Programs, Springer Verlag, LNCS 806, 1994, pp. 79-107.
Geuvers, J.H.:

The Calculus of Constructions and Higher Order Logic.

In: de Groote, Ph. (ed.) The Curry-Howard isomorphism, Vol. 8 of the 'Cahiers du centre de logique', Université catholique de Louvain, Academia, Louvain-la-Neuve, België, 1994, pp. 139-191.
Geuvers, J.H.; Nederpelt, R.P.:

Untyped lambda-calculus.

In: De Swart, H.C.M. et al. (ed.), Logic: Mathematics, Language, Computer Science and

Philosophy, Peter Lang, Frankfurt am Main, Vol. II, 1994, pp. 132-167.


Geuvers, J.H.; Nederpelt, R.P.:

Typed lambda-calculus.

In: De Swart, H.C.M. et al. (ed.), Logic: Mathematics, Language, Computer Science and

Philosophy, Peter Lang, Frankfurt am Main, Vol. II, 1994, pp. 168-199.


Geuvers, J.H.; Werner,B.:

On the Church-Rosser property for Expressive Type Systems and its Consequences for their Metatheoretic Study.

In: Proceedings of the Ninth Annual Symposium on Logic in Computet Science, IEEE Computer Society, Parijs, Frankrijk, 1994, pp. 320-329.
Hoogendijk, P.; Backhouse, R.C.:

Relational programming laws in the tree, list, bag, set hierarchy.

Science of Computer Programming, Vol. 22, no. 1/2, 1994, pp. 67-105.
Kaldewaij, A.; Dielissen, V.J.:

Decomposable functions and leaf trees: A systematic Approach.

In: Olderog, E.R. (ed.) Programming Concepts, Methods and Calculi (A-56), Elsevier Science BV, North-Holland, 1994, pp. 3-17.
Kamareddine, F.; Nederpelt, R.:

A unified approach to type theory through a refind lambda calculus.

Theoretical Computer Science 136, 1994, pp. 183-216.
Nederpelt, R.P.:

Type systems -- basic ideas and applications.

Republication in Selected Papers on Automath, Studies in logic and the foundations of mathematics, Vol. 133, 1994, pp. 229-248.
Nederpelt, R.P.:

Strong normalization in a typed lambda calculus with lambda structured types.

Republication in Selected Papers on Automath, Studies in logic and the foundations of mathematics, Vol. 133, 1994, pp. 389-468.
Nederpelt, R.P.; Geuvers, J.H.; Vrijer, R.C. de: (eds.)

Selected Papers on Automath, Studies in logic and the foundations of mathematics, Vol. 133, North-Holland, Amsterdam, 1994, pp. 1024.


Nederpelt, R.P.; Geuvers, J.H.:

Twenty-five years of Automath Research.

Republication in Selected Papers on Automath, Studies in logic and the foundations of mathematics, Vol. 133, 1994, pp. 3-54.


Download 1.99 Mb.

Share with your friends:
1   ...   5   6   7   8   9   10   11   12   ...   19




The database is protected by copyright ©ininet.org 2020
send message

    Main page