東北学院大学の蔵書(電子ブックを含む)を検索します。
日本国内の大学図書館等が所蔵する資料を検索します。
日本国内の学術論文等を検索します。
日本国内の学術機関が公開する学術成果(学位論文、紀要、学術論文等)を検索します。
※現在メンテナンス中のため、https://ndlsearch.ndl.go.jp/ にアクセスの上、検索してください。
検索キーワード:(標準分類: 005.13/1)
該当件数:49件
Term rewriting systems / Terese
Cambridge, U.K. : Cambridge Univ. Pr. , c2003. - (Cambridge tracts in theoretical computer science ; 55)
図書
Types for proofs and programs : International Workshop, TYPES '99, Lökeberg, Sweden, June 12-16, 1999 : selected papers / Thierry Coquand ... [et al.] (eds.)
Berlin : Springer , c2000. - New York. - (Lecture notes in computer science ; 1956)
Category theory and computer science : 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings / David Pitt, David E. Rydeheard, Peter Johnstone (eds.)
Berlin : Springer , c1995. - New York. - (Lecture notes in computer science ; 953)
Term rewriting : French Spring School of Theoretical Computer Science, Font Romeux [sic], France, May 17-21, 1993 : advanced course / Hubert Comon, Jean-Pierre Jouannaud, (eds.)
Berlin : Springer Verlag , c1995. - New York. - (Lecture notes in computer science ; 909)
Logic, programming, and Prolog / Ulf Nilsson and Jan Małuszyński
2nd ed. - Chichester : John Wiley , 1995. - New York
Principles and practice of constraint programming : the newport papers / edited by Vijay Saraswat and Pascal Van Hentenryck ; advising editors, Paris Kanellakis, Jean-Louis Lassez, Ralph Wachter
Cambridge, Mass. : MIT Press , c1995
Algebraic and logic programming : 5th International Conference, ALP '96, Aachen, Germany, September 25-27, 1996 : proceedings / Michael Hanus, Mario Rodríguez-Artalejo (eds.)
Berlin : Springer , c1996. - (Lecture notes in computer science ; 1139)
Partial Evaluation : International Seminar : Dagstuhl Castle, Germany, February 12-16, 1996 : selected papers / Olivier Danvy ... [et al.]
Berlin : Springer , c1996. - (Lecture notes in computer science ; 1110)
Rewriting techniques and applications : 7th International Conference, RTA-96, New Brunswick, NJ, USA, July 27-30, 1996 : proceedings / Harald Ganzinger (ed.)
Berlin : Springer-Verlag , c1996. - (Lecture notes in computer science ; 1103)
Static analysis : 4th International Symposium, SAS'97, Paris, France, September 8-10, 1997 : proceedings / Pascal van Hentenryck (ed.)
Berlin : Springer , c1997. - New York. - (Lecture notes in computer science ; 1302)
A theory of objects / Martín Abadi, Luca Cardelli
New York : Springer , c1996. - (Monographs in computer science)
Algebraic and logic programming : third international conference, Volterra, Italy, September 2-4, 1992 : proceedings / H. Kirchner, G. Levi, eds
Berlin : Springer-Verlag , c1992. - New York. - (Lecture notes in computer science ; 632)
Mathematical foundations of programming semantics : 7th international conference, Pittsburgh, PA, USA, March 25-28, 1991 : proceedings / S. Brookes ... [et al.], (eds.)
Berlin : Springer-Verlag , c1992. - Tokyo. - (Lecture notes in computer science ; 598)
Constructivity in computer science : summer symposium, San Antonio, TX, June 19-22, 1991 : proceedings / J.P. Myers, Jr., M.J. O'Donnell, eds
Berlin : Springer-Verlag , c1992. - New York. - (Lecture notes in computer science ; 613)
Automata, languages, and programming : 19th international colloquium, Wien, Austria, July 13-17, 1992 : proceedings / W. Kuich (ed.)
Berlin : Springer-Verlag , c1992. - New York. - (Lecture notes in computer science ; 623)
Temporal logic of programs / Fred Kröger
Berlin : Springer-Verlag , c1987. - Tokyo. - (EATCS monographs on theoretical computer science ; v. 8)
Programming languages : implementations, logics and programs : 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20-22, 1995 : proceedings / Manuel Hermenegildo, S.Doaitse Swierstra, (eds.)
Berlin : Springer-Verlag , c1995. - New York. - (Lecture notes in computer science ; 982)
Efficient graph rewriting and its implementation / Heiko Dörr
New York : Springer-Verlag , c1995. - (Lecture notes in computer science ; 922)
Rewriting techniques and applications : 6th International Conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995 : proceedings / Jieh Hsiang, (ed.)
Berlin : Springer-Verlag , c1995. - (Lecture notes in computer science ; 914)
Static analysis : First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28-30, 1994 : proceedings / Baudouin Le Charlier (ed.)
Berlin : Springer-Verlag , c1994. - New York. - (Lecture notes in computer science ; 864)
Design and implementation of symbolic computation systems : International Symposium, DISCO '92, Bath, U.K., April 13-15, 1992 : proceedings / John Fitch, (ed.)
Berlin : Springer-Verlag , c1993. - New York. - (Lecture notes in computer science ; 721)
Design and implementation of symbolic computation systems : International Symposium, DISCO '93, Gmunden, Austria, September 15-17, 1993 : proceedings / Alfonso Miola, (ed.)
Berlin : Springer-Verlag , c1993. - New York. - (Lecture notes in computer science ; 722)
Logic programming languages : constraints, functions, and objects / edited by K. R. Apt, J. W. de Bakker, and J. J. M. M. Rutten
Cambridge, Mass. : MIT Press , c1993. - (Logic programming)
Hyperedge replacement : grammars and languages / A. Habel
Berlin : Springer-Verlag , c1992. - New York. - (Lecture notes in computer science ; 643)
The generic development language Deva : presentation and case studies / Matthias Weber, Martin Simons, Christine Lafontaine
Berlin : Springer-Verlag , c1993. - New York. - (Lecture notes in computer science ; 738)
Meta-programming in logic : Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992 : proceedings / A. Pettorossi (ed.)
Berlin : Springer-Verlag , c1992. - New York. - (Lecture notes in computer science ; 649)
Iteration theories : the equational logic of iterative processes / Stephen L. Bloom, Zoltán Ésik
Berlin : Springer-Verlag , c1993. - Tokyo. - (EATCS monographs on theoretical computer science)
Mathematical foundations of programming semantics : 9th International Conference, New Orleans, LA, USA, April 7-10, 1993 : proceedings / S. Brookes ... [et al.], (eds.)
Berlin : Springer-Verlag , c1994. - Tokyo. - (Lecture notes in computer science ; 802)
Programming language implementation and logic programming : 6th International Symposium, PLILP '94, Madrid, Spain, September 14-16 1994 : proceedings / Manuel Hermenegildo, Jaan Penjam, (eds.)
Berlin : Springer-Verlag , c1994. - New York. - (Lecture notes in computer science ; 844)
Algebraic and logic programming : 4th International Conference, ALP '94, Madrid, Spain, September 14-16, 1994 : proceedings / Giorgio Levi, Mario Rodríguez-Artalejo (eds.)
Berlin : Springer-Verlag , c1994. - New York. - (Lecture notes in computer science ; 850)
String-rewriting systems / Ronald V. Book, Friedrich Otto
New York : Springer-Verlag , c1993. - (Texts and monographs in computer science)
Predicate transformer semantics / Ernest G. Manes
Cambridge : Cambridge University Press , 1992. - New York, NY, USA. - (Cambridge tracts in theoretical computer science ; 33)
Programming language implementation and logic programming : 5th International Symposium, PLILP '93, Tallinn, Estonia, August 25-27, 1993 : proceedings / Maurice Bruynooghe, Jaan Penjam, eds
Berlin : Springer-Verlag , c1993. - New York. - (Lecture notes in computer science ; 714)
Practical aspects of declarative languages : First International Workshop, PADL '99, San Antonio, Texas, USA, January 18-19, 1999 : proceedings / Gopal Gupta (ed.)
Berlin : Springer , c1999. - New York. - (Lecture notes in computer science ; 1551)
Compiling natural semantics / Mikael Pettersson
Berlin : Springer , c1999. - Tokyo. - New York. - (Lecture notes in computer science ; 1549)
Partial evaluation : International Seminar, Dagstuhl Castle, Germany, February 12-16, 1996 : selected papers / Olivier Danvy, Robert Glück, Peter Thiemann (eds.)
Berlin : Springer , c1996. - Tokyo. - (Lecture notes in computer science ; 1139)
Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : proceedings / B. Banieqbal, H. Barringer, A. Pnueli (eds.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989. - (Lecture notes in computer science ; 398)
Mathematical foundations of programming language semantics : 3rd workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987 : proceedings / M. Main ... [et al.] (eds.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988. - (Lecture notes in computer science ; 298)
MetaSoft primer : towards a metalanguage for applied denotational semantics / Andrzej Blikle
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987. - (Lecture notes in computer science ; 288)
Executable modal and temporal logics : IJCAI '93 Workshop, Chambéry, France, August 28, 1993 : proceedings / Michael Fisher, Richard Owens (eds.)
Berlin ; New York : Springer-Verlag , c1995. - (Lecture notes in computer science ; 897 . Lecture notes in artificial intelligence)
Logic program synthesis and transformation : 5th International Workshop, LOPSTR '95, Utrecht, the Netherlands, September 20-22, 1995 : proceedings /Maurizio Proietti (ed.)
Berlin : Springer , c1996. - New York. - Tokyo. - (Lecture notes in computer science ; 1048)
Live data structures in logic programs : derivation by means of abstract interpretation / Anne Mulkers
Berlin : Springer-Verlag , c1993. - Tokyo. - (Lecture notes in computer science ; 675)
Conditional term rewriting systems : Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992 : proceedings / M. Rusinowitch, J.L. Rémy (eds.)
Berlin : Springer-Verlag , c1993. - New York. - Tokyo. - (Lecture notes in computer science ; 656)
Semantics : foundations and applications : REX Workshop, Beekbergen, the Netherlands, June 1-4, 1992 : proceedings / J. W. de Bakker, W.-P. de Roever, G. Rozenberg (eds.)
Berlin : Springer-Verlag , c1993. - Tokyo. - (Lecture notes in computer science ; 666)
FME'93 : industrial--strength formal methods : first International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993 : proceedings / J.C.P. Woodcock, P.G. Larsen (eds.)
Berlin : Springer-Verlag , c1993. - New York. - (Lecture notes in computer science ; 670)
Mathematical foundations of programming semantics : international conference, Manhattan, Kansas, April 11-12, 1985 : proceedings / edited by Austin Melton
: gw,: us. - Berlin ; New York : Springer-Verlag , c1986. - (Lecture notes in computer science ; 239)