Unification is concerned with the problem of identifying terms, finding solutions for equations, or making formulas equivalent. It is a fundamental process used in a number of fields of computer science, including automated reasoning, term rewriting, logic programming, natural language processing, program analysis, types, etc. The International Workshop on Unification (UNIF) is a yearly forum for researchers in unification theory and related fields to meet old and new colleagues, to present recent (even unfinished) work, and to discuss new ideas and trends. It is also a good opportunity for young researchers and scientists working in related areas to get an overview of the current state of the art in unification theory.
We establish foundational results on the computational complexity of deciding entailment in Separation Logic with general inductive predicates whose underlying base language allows for pure formulas, pointers and existentially quantified variables. We show that entailment is in general undecidable, and ExpTime-hard in a fragment recently shown to be decidable by Iosif et al. Moreover, entailment in the base language is PI_2^p complete, the upper bound even holds in the presence of list predicates. We additionally show that entailment in essentially any fragment of Separation Logic allowing for general inductive predicates is intractable even when strong syntactic restrictions are imposed.
This article is devoted to the analysis of contemporary trends of reforming of York- Antwerp Rules on general average, about what in the literature, both Russian and foreign, is currently little information. In the study of international organization documents in the field of maritime trade were identified those problematic issues, on which new amendments to the York-Antwerp Rules on general average are planned. It is concluded that despite the growth of the abolition of the position of supporters of general average as an anachronism and a full transition to the marine insurance practice shows how countries and individuals are really interested in maintaining and further improving the York-Antwerp Rules as a source of law, applicable to international maritime transport of cargo.
Thus book is a collection of articles written on the results of the international scientific seminar "Legal aspects of the BRICS", organized by the University of Rome "Tor Vergata" in May 2013. Lawyers -researchers from Italy, Brazil, Russia, India, China and South Africa Republic took part in the discussion on the harmonization of the legal systems of the BRICS and prepared their works, which have been published in 2015.
This article devoted the complex analysis governing modern independent codifications of private international law in the countries of South East Asia. As part of this article conducted the detailed analysis of national-legal regulation of laws in the field of private international law in China and Japan. The analysis of the basic institutes of private international law, and also questions concerning hereditary, family, tort, real and a liability law is also carried out.
This book is a collection of articles written on the results of the international scientific seminar "Legal aspects of the BRICS", organized by the University of Rome "Tor Vergata" in May 2013. Lawyers - researchers from Italy, Brazil, Russia, India, China and South Africa Republic took part in the discussion on the harmonization of the legal systems of the BRICS and prepared their works, which have been published in 2015.