Unification - PDFSEARCH.IO - Document Search Engine

Unification
Results: 1593

#	Item
381	Transformation Rules for Z Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2011-06-02 16:36:02 Automated theorem proving Logic programming Unification First-order logic Regular expression Z notation Cyc Rule of inference Logic Mathematical logic Formal languages
382	Polymorphic Functions with Set-Theoretic Types Ar tifact Introduction Add to Reading List Source URL: www.pps.univ-paris-diderot.fr Language: English - Date: 2014-10-31 06:48:56 Computer science Lambda calculus Type inference Hindley–Milner Type system Unification Symbol System F ALGOL 68 Type theory Programming language theory Theoretical computer science
383	ORGANISATION INTERGOUVERNEMENTALE POUR LES TRANSPORTS INTERNATIONAUX FERROVIAIRES OTIF ZWISCHENSTAATLICHE ORGANISATION FÜR DEN Add to Reading List Source URL: www.otif.org Language: English - Date: 2010-11-25 05:39:55 Prepcom League of Nations International law Intergovernmental Organisation for International Carriage by Rail International Institute for the Unification of Private Law International relations Law Arms control
384	The Unification Issue A 38 North Interview Video posted September 9, 2012 Interviewee: Park Cheol, Director, General Policy Division, Unification Policy Office. Ministry of Unification Add to Reading List Source URL: 38north.org Language: English - Date: 2012-11-08 16:01:48 Political geography Divided regions Member states of the United Nations Republics Nuclear program of North Korea Korean reunification Ministry of Unification Unification Church North Korea Korea North Korea–South Korea relations Asia
385	Zenon Modulo: When Achilles Outruns the Tortoise using Deduction Modulo? David Delahaye1 , Damien Doligez2 , Frédéric Gilbert2 , Pierre Halmagrand1 , and Olivier Hermant3 1 Add to Reading List Source URL: bware.lri.fr Language: English - Date: 2014-09-27 11:16:17 Logic in computer science Unification First-order logic Combinatory logic Rewriting Model theory Axiom Mathematical proof Peano axioms Logic Mathematics Mathematical logic
386	Proving Termination of Programs Automatically with AProVE? J. Giesl1 , M. Brockschmidt2 , F. Emmes1 , F. Frohn1 , C. Fuhs3 , C. Otto, M. Pl¨ ucker1 , P. Schneider-Kamp4 , T. Str¨oder1 , S. Swiderski, and R. Thiemann5 1 Add to Reading List Source URL: verify.rwth-aachen.de Language: English - Date: 2015-01-30 08:47:53 Static program analysis Termination analysis Automated theorem proving Programming paradigms Constraint programming Logic in computer science Prolog Unification Computer program Software engineering Computing Theoretical computer science
387	Towards explicit rewrite rules in the λΠ-calculus modulo Ronan Saillard MINES ParisTech Fontainebleau, France Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-01-27 09:23:05 Mathematics Lambda calculus Type theory Dependently typed programming Unification Twelf Rewriting Calculus of constructions Normalization property Theoretical computer science Logic in computer science Applied mathematics
388	International Union of Marine Insurance Liability Committee Add to Reading List Source URL: www.iumi.com Language: English - Date: 2013-02-23 12:46:49 Law Shipping Admiralty law International organizations Institutional investors United Nations Commission on International Trade Law Multimodal transport International Federation of Freight Forwarders Associations International Institute for the Unification of Private Law International relations Transport Types of insurance
389	Non-Strict Independence-Based Program Parallelization Using Sharing and Freeness Information Daniel Cabeza Gras 1 and Manuel V. Hermenegildo 1,2 Abstract Add to Reading List Source URL: www.clip.dia.fi.upm.es Language: English - Date: 2009-02-12 19:18:43 Compiler optimizations Automatic parallelization Parallel computing Prolog Unification Compiler Abstract interpretation Computing Software engineering Programming language theory
390	[hal, v1] Zenon Modulo: When Achilles Outruns the Tortoise using Deduction Modulo Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-01-28 10:05:43 Logic in computer science Unification First-order logic Combinatory logic Rewriting Model theory Axiom Mathematical proof Peano axioms Logic Mathematics Mathematical logic

UPDATE