05160nam 22006975 450 99646607950331620200630152546.03-540-69353-X10.1007/BFb0028003(CKB)1000000000234803(SSID)ssj0000322129(PQKBManifestationID)11255998(PQKBTitleCode)TC0000322129(PQKBWorkID)10299211(PQKB)10620263(DE-He213)978-3-540-69353-6(PPN)15521599X(EXLCZ)99100000000023480320121227d1998 u| 0engurnn|008mamaatxtccrComputer Science Logic[electronic resource] 11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers /edited by Mogens Nielsen, Wolfgang Thomas1st ed. 1998.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,1998.1 online resource (VIII, 520 p.) Lecture Notes in Computer Science,0302-9743 ;1414Bibliographic Level Mode of Issuance: Monograph3-540-64570-5 Call-by-value games -- LISA: A specification language based on WS2S -- Evolution as a computational engine -- Timeless games -- From action calculi to linear logic -- A sequent calculus for circumscription -- Linear lower bounds and simulations in frege systems with substitutions -- A formulation of linear logic based on dependency-relations -- Resolution and the weak pigeonhole principle -- Higher-order matching and tree automata -- A proof-theoretical investigation of Zantema's problem -- Spectra with only unary function symbols -- Classical proofs via basic logic -- Canonization for Lk-equivalence is Hard -- Full abstractness for a functional/concurrent language with higher-order value-passing -- A duality theory for quantitative semantics -- A mixed modal/linear lambda calculus with applications to bellantoni-cook safe recursion -- Equational axioms of test algebra -- Mona & Fido: The logic-automaton connection in practice -- Existence of reduction hierarchies -- A game-theoretic, concurrent and fair model of the typed ?-calculus, with full recursion -- A conjunctive logical characterization of nondeterministic linear time -- On the computational complexity of type 2 functionals -- Categories with algebraic structure -- Concurrent constraint programming and non-commutative logic -- A hierarchical approach to monadic second-order logic over graphs -- The monadic quantifier alternation hierarchy over grids and pictures -- Padding and the expressive power of existential second-order logics -- Rich ?-words and monadic second-order arithmetic -- A simple ordinal recursive normalization of Gödel's T.This book constitutes the strictly refereed post-workshop proceedings of the 11th International Workshop on Computer Science Logic, CSL '97, held as the 1997 Annual Conference of the European Association on Computer Science Logic, EACSL, in Aarhus, Denmark, in August 1997. The volume presents 26 revised full papers selected after two rounds of refereeing from initially 92 submissions; also included are four invited papers. The book addresses all current aspects of computer science logics and its applications and thus presents the state of the art in the area.Lecture Notes in Computer Science,0302-9743 ;1414Artificial intelligenceArchitecture, ComputerMathematical logicComputer logicArtificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Computer System Implementationhttps://scigraph.springernature.com/ontologies/product-market-codes/I13057Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XMathematical Logic and Foundationshttps://scigraph.springernature.com/ontologies/product-market-codes/M24005Artificial intelligence.Architecture, Computer.Mathematical logic.Computer logic.Artificial Intelligence.Computer System Implementation.Mathematical Logic and Formal Languages.Logics and Meanings of Programs.Mathematical Logic and Foundations.004/.01/5113Nielsen Mogensedthttp://id.loc.gov/vocabulary/relators/edtThomas Wolfgangedthttp://id.loc.gov/vocabulary/relators/edtEuropean Association for Computer Science Logic.Conference(6th :1997 :Aarhus, Denmark)Workshop on Computer Science LogicBOOK996466079503316Computer Science Logic771972UNISA04858nam 22006735 450 991043835860332120250717133327.09789067049184906704918210.1007/978-90-6704-918-4(OCoLC)885405848(MiFhGG)GVRL6UQR(CKB)2670000000389367(MiAaPQ)EBC1317650(MiFhGG)9789067049184(DE-He213)978-90-6704-918-4(iGPub)SPNA0029785(EXLCZ)99267000000038936720130628d2013 u| 0engurun|---uuuuatxtccrArmed Conflict and International Law: In Search of the Human Face Liber Amicorum in Memory of Avril McDonald /edited by Mariëlle Matthee, Brigit Toebes, Marcel Brus1st ed. 2013.The Hague :T.M.C. Asser Press :Imprint: T.M.C. Asser Press,2013.1 online resource (xxiv, 378 pages)Gale eBooksDescription based upon print version of record.9789067049177 9067049174 Includes bibliographical references.Fighting by the Principles: Principles as a Source of International Humanitarian Law -- Chivalry: A Principle of the Law of Armed Conflict? Military Robots and the Principle of Humanity – Distorting the Human Face of the Law? Some Reflections on Self-Defence as an Element in Rules of Engagement.-The Current Relevance of the Recognition of Belligerency -- In Search of a Human Face in the Middle East: Addressing Israeli impunity for War Crimes -- Doctors in Arms: Exploring the Legal and Ethical Position of Military Medical Personnel in Armed Conflicts -- Saving the Past, Present and Future. Thoughts on Mobilizing International Protection for Cultural Property During Armed Conflict -- Watching the Human Rights Watchers -- Armed Conflict and Law Enforcement – Is There a Legal Divide? Friend or Foe? On the Protective Reach of the Law of Armed Conflict -- Seeking the Truth about Serious International Human Rights and Humanitarian Law Violations: The various Facets of a Cardinal Notion of Transitional Justice -- La responsabilité pénale des autorités politiques pour des crimes de droit international humanitair (DIH) -- Discrepancies Between International Humanitarian Law on the Battlefield and in the Courtroom: The Challenges of Applying International Humanitarian Law During International Criminal Trials.This book is written in memory of Avril McDonald, who passed away in April 2010. Avril was an inspired and passionate scholar in the fields of international humanitarian law, international criminal law, human rights law and law in the field of arms control and disarmament. What in particular made Avril’s work special was her strong commitment to the human aspects throughout. Fourteen prominent scholars and practitioners have contributed to this book, which contains a rich variety of topics in her fields of expertise. The common thread is that they deal with the human perspectives in their relevant area of expertise. They concentrate on the impact of the developments in international law on humans, whether they are civilians, victims of war or soldiers. This human perspective of law makes this book an appropriate tribute to Avril McDonald and at the same time a unique and valuable contribution to international legal research in present society. A society that becomes more and more characterized by detailed legal systems, defined by institutions that may frequently lack sufficient contact with the people concerned. This book is of special interest to researchers and practitioners in international humanitarian law and in general to everyone having the human aspects of international law closely at heart.  .Humanitarian lawInternational criminal lawInternational lawInternational Humanitarian Law, Law of Armed ConflictInternational Criminal LawPublic International LawHumanitarian law.International criminal law.International law.International Humanitarian Law, Law of Armed Conflict.International Criminal Law.Public International Law.346.0134McDonald Avril554240Masson-Matthee Mariëlle D785481Toebes Brigit C. A1750141Brus Marcel1750142MiAaPQMiAaPQMiAaPQBOOK9910438358603321Armed Conflict and International Law: In Search of the Human Face4411818UNINA