Author: "Klop, J. W." / Publication Type: eBooks - Searchworks@Jio Institute Digital Library Search Results

1. The Algebra of Recursively Defined Processes and the Algebra of Regular Processes

Author: Bergstra, J. A., Klop, J. W., van Rijsbergen, C. J., editor, Ponse, A., editor, Verhoef, C., editor, and van Vlijmen, S. F. M., editor
Published: 1995
Full Text: View/download PDF

2. Transfinite reductions in orthogonal term rewriting systems

Author: Kennaway, J. R., Klop, J. W., Sleep, M. R., de Vries, F. J., Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, and Book, Ronald V., editor
Published: 1991
Full Text: View/download PDF

3. Origin tracking in term rewriting

Author: Klop, J. W., Goos, Gerhard, editor, Hartmanis, Juris, editor, van Leeuwen, Jan, editor, and Nipkow, Tobias, editor
Published: 1998
Full Text: View/download PDF

4. Term rewriting systems with priorities

Author: Baeten, J. C. M., Bergstra, J. A., Klop, J. W., Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, and Lescanne, Pierre, editor
Published: 1987
Full Text: View/download PDF

5. Decidability of bisimulation equivalence for processes generating context-free languages

Author: Baeten, J. C. M., Bergstra, J. A., Klop, J. W., Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, de Bakker, J. W., editor, Nijman, A. J., editor, and Treleaven, P. C., editor
Published: 1987
Full Text: View/download PDF

6. ACPτ a universal axiom system for process specification

Author: Bergstra, J. A., Klop, J. W., Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Wirsing, Martin, editor, and Bergstra, Jan A., editor
Published: 1989
Full Text: View/download PDF

7. Process theory based on bisimulation semantics

Author: Bergstra, J. A., Klop, J. W., Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, de Bakker, J. W., editor, de Roever, W. -P., editor, and Rozenberg, G., editor
Published: 1989
Full Text: View/download PDF

8. Linear time and branching time semantics for recursion with merge

Author: de Bakker, J. W., Bergstra, J. A., Klop, J. W., Meyer, J. -J. Ch., Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, and Diaz, Josep, editor
Published: 1983
Full Text: View/download PDF

9. Verification of an alternating bit protocol by means of process algebra protocol

Author: Bergstra, J. A., Klop, J. W., Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Bibel, Wolfgang, editor, and Jantke, Klaus P., editor
Published: 1986
Full Text: View/download PDF

10. Process algebra with asynchronous communication mechanisms

Author: Bergstra, J. A., Klop, J. W., Tucker, J. V., Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Brookes, Stephen D., editor, Roscoe, Andrew William, editor, and Winskel, Glynn, editor
Published: 1985
Full Text: View/download PDF

11. Algebraic specifications for parametrized data types with minimal parameter and target algebras

Author: Bergstra, J. A., Klop, J. W., Nielsen, Mogens, editor, and Schmidt, Erik Meineche, editor
Published: 1982
Full Text: View/download PDF

12. A formalized proof system for total correctness of while programs

Author: Bergstra, J. A., Klop, J. W., Goos, G., editor, Hartmanis, J., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Moler, C., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Dezani-Ciancaglini, Mariangiola, editor, and Montanari, Ugo, editor
Published: 1982
Full Text: View/download PDF

13. Correctness of programs with function procedures : extended abstract

Author: de Bakker, J. W., Klop, J. W., Meyer, J.-J.Ch., Goos, G., editor, Hartmanis, J., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Moler, C., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, and Kozen, Dexter, editor
Published: 1982
Full Text: View/download PDF

14. The algebra of recursively defined processes and the algebra of regular processes

Author: Bergstra, J. A., Klop, J. W., Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, and Paredaens, Jan, editor
Published: 1984
Full Text: View/download PDF

15. Algebraic tools for system construction

Author: Bergstra, J. A., Klop, J. W., Tucker, J. V., Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Clarke, Edmund, editor, and Kozen, Dexter, editor
Published: 1984
Full Text: View/download PDF

16. On solvability by λI-terms

Author: Klop, J. W., Goos, G., editor, Hartmanis, J., editor, Brinch Hansen, P., editor, Gries, D., editor, Moler, C., editor, Seegmüller, G., editor, Wirth, N., editor, and Böhm, C., editor
Published: 1975
Full Text: View/download PDF

17. On the asynchronous nature of communication in concurrent logic languages: A fully abstract model based on sequences

Author: de Boer, Frank S., Palamidessi, Catuscia, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Baeten, J. C. M., editor, and Klop, J. W., editor
Published: 1990
Full Text: View/download PDF

18. Ideal specification formalism = expressivity + compositionality + decidability + testability + ...

Author: Guldstrand Larsen, Kim, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Baeten, J. C. M., editor, and Klop, J. W., editor
Published: 1990
Full Text: View/download PDF

19. Process algebra with a zero object

Author: Baeten, J. C. M., Bergstra, J. A., Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Baeten, J. C. M., editor, and Klop, J. W., editor
Published: 1990
Full Text: View/download PDF

20. Effective solutions to domain equations an approach to effective denotational semantics

Author: Yoccoz, S., Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Baeten, J. C. M., editor, and Klop, J. W., editor
Published: 1990
Full Text: View/download PDF

21. Priority as extremal probability

Author: Smolka, Scott A., Steffen, Bernhard, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Baeten, J. C. M., editor, and Klop, J. W., editor
Published: 1990
Full Text: View/download PDF

22. Convergence of iteration systems

Author: Arora, Anish, Attie, Paul, Evangelist, Michael, Gouda, Mohamed, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Baeten, J. C. M., editor, and Klop, J. W., editor
Published: 1990
Full Text: View/download PDF

23. An axiomatization of Lamport's temporal logic of actions

Author: Abadi, Martín, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Baeten, J. C. M., editor, and Klop, J. W., editor
Published: 1990
Full Text: View/download PDF

24. Real-time behaviour of asynchronous agents

Author: Wang, Yi, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Baeten, J. C. M., editor, and Klop, J. W., editor
Published: 1990
Full Text: View/download PDF

25. Delay-insensitive circuits: An algebraic approach to their design

Author: Josephs, Mark B., Udding, Jan Tijmen, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Baeten, J. C. M., editor, and Klop, J. W., editor
Published: 1990
Full Text: View/download PDF

26. On the compositional checking of validity

Author: Winskel, Glynn, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Baeten, J. C. M., editor, and Klop, J. W., editor
Published: 1990
Full Text: View/download PDF

27. A synchronous calculus of relative frequency

Author: Tofts, Chris, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Baeten, J. C. M., editor, and Klop, J. W., editor
Published: 1990
Full Text: View/download PDF

28. Partial order logics for elementary net systems: State- and event-approaches

Author: Sinachopoulos, A., Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Baeten, J. C. M., editor, and Klop, J. W., editor
Published: 1990
Full Text: View/download PDF

29. Factorization of finite state machines under observational equivalence

Author: Qin, Huajun, Lewis, Philip, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Baeten, J. C. M., editor, and Klop, J. W., editor
Published: 1990
Full Text: View/download PDF

30. Proving termination of communicating programs

Author: Paczkowski, Paweł, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Baeten, J. C. M., editor, and Klop, J. W., editor
Published: 1990
Full Text: View/download PDF

31. SCONE: A simple calculus of nets

Author: Gorrieri, Roberto, Montanari, Ugo, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Baeten, J. C. M., editor, and Klop, J. W., editor
Published: 1990
Full Text: View/download PDF

32. Rewriting as a unified model of concurrency

Author: Meseguer, José, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Baeten, J. C. M., editor, and Klop, J. W., editor
Published: 1990
Full Text: View/download PDF

33. Equivalences, congruences, and complete axiomatizations for probabilistic processes

Author: Jou, Chi-Chang, Smolka, Scott A., Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Baeten, J. C. M., editor, and Klop, J. W., editor
Published: 1990
Full Text: View/download PDF

34. A temporal calculus of communicating systems

Author: Moller, Faron, Tofts, Chris, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Baeten, J. C. M., editor, and Klop, J. W., editor
Published: 1990
Full Text: View/download PDF

35. Transition system specifications with negative premises

Author: Groote, Jan Friso, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Baeten, J. C. M., editor, and Klop, J. W., editor
Published: 1990
Full Text: View/download PDF

36. A new strategy for proving ω-completeness applied to process algebra

Author: Groote, Jan Friso, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Baeten, J. C. M., editor, and Klop, J. W., editor
Published: 1990
Full Text: View/download PDF

37. A programming logic for formal concurrent systems

Author: Gribomont, E. Pascal, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Baeten, J. C. M., editor, and Klop, J. W., editor
Published: 1990
Full Text: View/download PDF

38. CCSR: A calculus for communicating shared resources

Author: Gerber, Richard, Lee, Insup, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Baeten, J. C. M., editor, and Klop, J. W., editor
Published: 1990
Full Text: View/download PDF

39. The linear time - branching time spectrum

Author: van Glabbeek, R. J., Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Baeten, J. C. M., editor, and Klop, J. W., editor
Published: 1990
Full Text: View/download PDF

40. An implementation of a translational semantics for an imperative language

Author: Fredlund, Lars-åke, Jonsson, Bengt, Parrow, Joachim, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Baeten, J. C. M., editor, and Klop, J. W., editor
Published: 1990
Full Text: View/download PDF

41. Superimposition for interacting processes

Author: Francez, Nissim, Forman, Ira R., Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Baeten, J. C. M., editor, and Klop, J. W., editor
Published: 1990
Full Text: View/download PDF

42. A temporal approach to algebraic specifications

Author: Feng, Yulin, Liu, Junbo, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Baeten, J. C. M., editor, and Klop, J. W., editor
Published: 1990
Full Text: View/download PDF

43. A preorder for partial process specifications

Author: Cleaveland, Rance, Steffen, Bernhard, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Baeten, J. C. M., editor, and Klop, J. W., editor
Published: 1990
Full Text: View/download PDF

44. Synthesis rules for Petri nets, and how they lead to new results

Author: Esparza, Javier, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Baeten, J. C. M., editor, and Klop, J. W., editor
Published: 1990
Full Text: View/download PDF

45. The need for headers: An impossibility result for communication over unreliable channels

Author: Fekete, Alan, Lynch, Nancy, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Baeten, J. C. M., editor, and Klop, J. W., editor
Published: 1990
Full Text: View/download PDF

46. Reduction and design of well-behaved concurrent systems

Author: Desel, Jörg, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Baeten, J. C. M., editor, and Klop, J. W., editor
Published: 1990
Full Text: View/download PDF

47. Back and forth bisimulations

Author: De Nicola, Rocco, Montanari, Ugo, Vaandrager, Frits, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Baeten, J. C. M., editor, and Klop, J. W., editor
Published: 1990
Full Text: View/download PDF

48. Verifying temporal properties of processes

Author: Bradfield, Julian, Stirling, Colin, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Baeten, J. C. M., editor, and Klop, J. W., editor
Published: 1990
Full Text: View/download PDF

49. Testing equivalences and fully abstract models for probabilistic processes

Author: Christoff, Ivan, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Baeten, J. C. M., editor, and Klop, J. W., editor
Published: 1990
Full Text: View/download PDF

50. Let's make models

Author: Hoare, C. A. R., Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Baeten, J. C. M., editor, and Klop, J. W., editor
Published: 1990
Full Text: View/download PDF

Searchworks

Select search scope, currently: Articles Catalog books, media & more in Jio Institute collections Articles journal articles & other e-resources

Search

Search Constraints

Refine your results

Search Limiters

Topic

Publication Year Range

Language

Publication Type

Journal

Database

Publisher

52 results on '"Klop, J. W."'

Search Results

Catalog

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources