Welcome to our book review site go-pdf.online!
You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Court and Culture
"While being compared favorably to Johan Huizinga's Waning of the Middle Ages, this is in fact a livelier, more convincing analysis of the late fourteenth century."--Johan P. Snapper, University of California, Berkeley
Algebraic and Logic Programming
This book constitutes the refereed proceedings of the Fifth International Conference on Algebraic and Logic Programming, ALP '96, held in Aachen, Germany, in September 1996 in conjunction with PLILP and SAS. The volume presents 21 revised full papers selected from 54 submissions; also included is an invited contribution by Claude Kirchner and Ilies Alouini entitled "Toward the Concurrent Implementation of Computational Systems". The volume is divided into topical sections on logic programming, term rewriting, integration of paradigms, abstract interpretation, Lambda-calculus and rewriting, and types.
Originality and Tradition in the Middle Dutch Roman Van Walewein
New editor, new directions: the series broadens its scope to encompass European literatures other than French and English; still, however, "an indispensable component of any historical or Arthurian library". NOTES AND QUERIES This new volume of Arthurian Literature, the first under its new editor Keith Busby, is devoted to the Roman van Walewein(The Romance of Walewein [Gawain]) by Penninc and Pieter Vostaert, an undisputed gem of Middle Dutch literature which has recently become accessible to an English-speaking audience through translation. Essentially a fairy-tale written into Arthurian romance, it presents a Gawain quite different to the man found in the English Sir Gawain and the Green ...
Rewriting Techniques and Applications
This book constitutes the refereed proceedings of the 13th International Conference on Rewriting Techniques and Applications, RTA 2002, held in Copenhagen, Denmark, in July 2002. The 20 regular papers, two application papers, and four system descriptions presented together with three invited contributions were carefully reviewed and selected from 49 submissions. All current aspects of rewriting are addressed.
Term Rewriting and Applications
This book constitutes the refereed proceedings of the 17th International Conference on Rewriting Techniques and Applications, RTA 2006, held in Seattle, WA, USA in August 2006. The book presents 23 revised full papers and 4 systems description papers together with 2 invited talks and a plenary talk of the hosting FLoC conference. Topics include equational reasoning, system verification, lambda calculus, theorem proving, system descriptions, termination, higher-order rewriting and unification, and more.
Term Rewriting and Applications
This volume contains the proceedings of the 16th International Conference on Rewriting Techniques and Applications (RTA2005),whichwasheldonApril19– 21, 2005, at the Nara-Ken New Public Hall in the center of the Nara National Park in Nara, Japan. RTA is the major forum for the presentation of research on all aspects of rewriting.PreviousRTAconferenceswereheldinDijon(1985),Bordeaux(1987), Chapel Hill (1989), Como (1991), Montreal (1993), Kaiserslautern (1995), Rutgers (1996), Sitges (1997), Tsukuba (1998), Trento (1999), Norwich (2000), Utrecht (2001), Copenhagen (2002), Valencia (2003), and Aachen (2004). This year, there were 79 submissions from 20 countries, of which 31 papers were accept...
Rewriting, Computation and Proof
Jean-Pierre Jouannaud has played a leading role in the field of rewriting and its technology. This Festschrift volume, published to honor him on his 60th Birthday, includes 13 refereed papers by leading researchers, current and former colleagues. The papers are grouped in thematic sections on Rewriting Foundations, Proof and Computation, and a final section entitled Towards Safety and Security.
Boethius in the Middle Ages
Boethius' Consolatio Philosophiae is one of those exceptional works that circulated widely throughout such diverse medieval cultures as the schools and universities, the court, and religious houses. It spawned a rich tradition of Latin commentaries and was a major force in shaping vernacular literary traditions, including the works of Jean de Meun, Dante, and Chaucer. The changing perceptions of the Consolatio are the subject of this collection of new essays. The first section is devoted to the Latin commentary tradition (William of Conches, Nicholas Trevet, and Pierre d'Ailly). The other sections explore the vernacular traditions (Italian, French, German, English, and Dutch). The book underlines the interactions between the Latin and the vernacular and between literary and scholastic contexts, and the focus throughout is on the intellectual and institutional background of the works discussed.
Lambda-Calculus and Combinators
Combinatory logic and lambda-calculus, originally devised in the 1920s, have since developed into linguistic tools, especially useful in programming languages. The authors' previous book served as the main reference for introductory courses on lambda-calculus for over 20 years: this version is thoroughly revised and offers an account of the subject with the same authoritative exposition. The grammar and basic properties of both combinatory logic and lambda-calculus are discussed, followed by an introduction to type-theory. Typed and untyped versions of the systems, and their differences, are covered. Lambda-calculus models, which lie behind much of the semantics of programming languages, are also explained in depth. The treatment is as non-technical as possible, with the main ideas emphasized and illustrated by examples. Many exercises are included, from routine to advanced, with solutions to most at the end of the book.
The Learning and Teaching of Cantonese as a Second Language
The Learning and Teaching of Cantonese as a Second Language brings together contributions on such issues as Cantonese textbooks, linguistic description, literacy and tone acquisition, supplemented by case studies from the Netherlands and Japan. The learning and teaching of Cantonese as a second language is a subject of considerable interest in the international academic community, and the first international symposium on teaching Cantonese as a second language, held at the Chinese University of Hong Kong in October 2019, brought together leading researchers in this field. This conference provided the inspiration for the current volume, The Learning and Teaching of Cantonese as a Second Langu...
