В книге
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.
Эффективная разрешимость проблемы л-т эквивалентности дает возможность приступить к решению задачи минимизации - построения схемы программ наименьшего размера, л-т эквивалентной заданной схеме. Чтобы отыскать ее решение, заметим, что модель вычислений стандартных схем программ сходна модели вычислений автоматов-преобразователей, работающих над полугруппами. Ранее был предложен метод минимизации автоматов-преобра\-зо\-вателей, работающих над упорядоченными левосократимыми полугруппами. В данной заметке мы покажем, что этим методом можно воспользоваться для минимизации стандартных схем программ относительно л-т эквивалентности в случае, когда эти схемы определены над ортогональными консервативными подстановками.
Настоящая статья посвящена анализу современных тенденций реформирования Йорк-Антверпенских правил об общей аварии, о чем в литературе, как российской, так и зарубежной, в настоящий момент содержится мало информации. При изучении документов международных организаций в области морской торговли были выявлены те проблемные вопросы, по которым планируется внесение новых изменений в Йорк-Антверпенские правила об общей аварии. Сделан вывод о том, что даже несмотря на рост приверженцев упразднения института общей аварии как анахронизма и полного перехода к морскому страхованию практика показывает, насколько страны и частные лица на самом деле заинтересованы в сохранении и дальнейшем совершенствовании Йорк-Антверпенских правил как источника права, применимого к международным морским перевозкам груза.
В статье предложена новая модель последовательных императивных программ, использующих средства работы с динамической памятью (указателями, списками и пр.)
Настоящиее издание представляет собой сборник трудов, подготовленных по результатам проведения II международного научного семинара "Правовые аспекты БРИКС", организованного Римским университетом "Tor Vergata" в мае 2013 г. Ученые -правоведы из Италии, Бразилии, России, Индии, Китая и Южно-Африканской Республики приняли участие в обсуждение проблем гармонизации правовых систем стран БРИКС и подготовили статьи, вышедшие в свет в 2015 г.
Настоящая статья посвящена комплексному анализу современных автономных кодификаций международного частного права в странах Юго-Восточной Азии. В рамках настоящей статьи проводится детальный анализ национально-правового регулирования законов о международном частном праве в Китае и Японии. Проводится анализ основных институтов международного частного права, подробно исследуются вопросы касающиеся наследственного, брачно-семейного, деликтного, вещного и обязательственного права.
Настоящее издание представляет собой сборник трудов, подготовленных по результатам проведения II международного научного семинара "Правовые аспекты БРИКС", организованного Римским университетом "Tor Vergata" в мае 2013 г. Ученые -правоведы из Италии, Бразилии, России, Индии, Китая и Южно-Африканской Республики приняли участие в обсуждение проблем гармонизации правовых систем стран БРИКС и подготовили статьи, вышедшие в свет в 2015 г.