Martí-Oliet, Narciso (ed.); Meseguer, José (ed.) Special issue: Rewriting logic and its applications. 1st international workshop, Asilomar Conference Center, Pacific Grove, CA, USA, September 1996. (English) Zbl 0993.00508 Theor. Comput. Sci. 285, No. 2, 119-564 (2002). MSC: 00B25 68-06 PDF BibTeX XML Cite \textit{N. Martí-Oliet} (ed.) and \textit{J. Meseguer} (ed.), Theor. Comput. Sci. 285, No. 2, 119--564 (2002; Zbl 0993.00508) Full Text: DOI OpenURL
Meseguer, J. (ed.) Rewriting logic and its applications. Proceedings of the 1st international workshop, Pacific Grove, CA, USA, September 3–6, 1996. (English) Zbl 0903.00068 Electronic Notes in Theoretical Computer Science. 4. Amsterdam: Elsevier, 423 p. (1996). MSC: 00B25 68-06 68Q42 PDF BibTeX XML Cite \textit{J. Meseguer} (ed.), Rewriting logic and its applications. Proceedings of the 1st international workshop, Pacific Grove, CA, USA, September 3--6, 1996. Amsterdam: Elsevier (1996; Zbl 0903.00068) Full Text: Link OpenURL
DiSessa, Andrea A. (ed.); Hoyles, Celia (ed.); Noss, Richard (ed.); Edwards, Laurie D. (ed.) Computers and exploratory learning. Proceedings of the NATO Advanced Research Workshop on the design of computational media to support exploratory learning, held at the Asilomar Conference Center, Pacific Grove, CA, USA, October 3-7, 1993. (English) Zbl 0875.68995 NATO ASI Series. Series F. Computer and Systems Sciences. 146. Berlin: Springer-Verlag. viii, 482 p. (1995). MSC: 68U99 68-06 00B25 PDF BibTeX XML Cite \textit{A. A. DiSessa} (ed.) et al., Computers and exploratory learning. Proceedings of the NATO Advanced Research Workshop on the design of computational media to support exploratory learning, held at the Asilomar Conference Center, Pacific Grove, CA, USA, October 3-7, 1993. Berlin: Springer-Verlag (1995; Zbl 0875.68995) OpenURL
Möller, B. (ed.) Constructing programs from specifications. Proceedings of the IFIP TC2/WG 2.1 working conference, Pacific Grove, CA, USA, 13-16 May 1991. (English) Zbl 0744.68025 Amsterdam etc.: North-Holland. X, 515 p. (1991). Reviewer: S.Miura (Okazaki / Aichi) MSC: 68-06 68Q60 68N01 68Q65 PDF BibTeX XML Cite \textit{B. Möller} (ed.), Constructing programs from specifications. Proceedings of the IFIP TC2/WG 2.1 working conference, Pacific Grove, CA, USA, 13-16 May 1991. Amsterdam etc.: North-Holland (1991; Zbl 0744.68025) OpenURL
Logic in computer science. Proceedings of 4th annual symposium, Pacific Grove, CA/USA, June 5-8, 1989. (English) Zbl 0713.00018 Washington, DC etc.: IEEE Computer Society Press. XVI, 402 p. (1989). MSC: 00B25 68-06 03-06 PDF BibTeX XML OpenURL
Megiddo, Nimrod (ed.) Progress in mathematical programming. Interior-point and related methods. (Based on the conference held at Pacific Grove, California, March 1-4, 1987). (English) Zbl 0669.00026 New York etc.: Springer-Verlag. x, 158 p. DM 78.00 (1989). MSC: 00B25 90-06 PDF BibTeX XML Cite \textit{N. Megiddo} (ed.), Progress in mathematical programming. Interior-point and related methods. (Based on the conference held at Pacific Grove, California, March 1-4, 1987). New York etc.: Springer-Verlag (1989; Zbl 0669.00026) OpenURL
Vardi, Moshe Y. (ed.) Proceedings of the second conference on theoretical aspects of reasoning about knowledge, held in Pacific Grove, California, USA, March 7-9, 1988. (English) Zbl 0699.00012 Los Altos, CA: Morgan Kaufmann. viii, 401 p. £14.95 (1988). MSC: 00B25 03-06 68-06 PDF BibTeX XML Cite \textit{M. Y. Vardi} (ed.), Proceedings of the second conference on theoretical aspects of reasoning about knowledge, held in Pacific Grove, California, USA, March 7-9, 1988. Los Altos, CA: Morgan Kaufmann (1988; Zbl 0699.00012) OpenURL