Unification - PDFSEARCH.IO - Document Search Engine

Unification
Results: 1593

#	Item
61	INTERNATIONAL ORGANIZATION FOR STANDARDIZATION ORGANISATION INTERNATIONALE DE NORMALISATION ISO/IEC JTC 1/SC 2/WG 2/IRG Add to Reading List Source URL: appsrv.cse.cuhk.edu.hk Language: English - Date: 2015-11-15 06:03:19 Character encoding Unicode blocks Unicode Character sets Korean language CJK Unified Ideographs Ideographic Rapporteur Group Han unification CJK Compatibility Ideographs CJK characters Variation Selectors Plane
62	Specialising the Ground Representation in the Logic Programming Language G¨odel. C.A.Gurr∗ University of Edinburgh Abstract Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:11 Software engineering Theoretical computer science Logic programming Computer programming Programming paradigms Automated theorem proving Type theory Prolog Unification Substitution Interpreter Term
63	Universal Multiple-Octet Coded Character Set UCS ISO/IEC JTC1/SC2/WG2 IRG N 1100 Date: Source: Title: Add to Reading List Source URL: appsrv.cse.cuhk.edu.hk Language: English - Date: 2004-12-16 01:20:12 Computing Theoretical computer science Unicode Character sets Universal Coded Character Set Mathematical logic Glyph Unification Ext JS Attribute
64	Unifying Refinement and Hoare-Style Reasoning in a Logic for Higher-Order Concurrency Aaron Turon Derek Dreyer Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2013-07-22 04:30:15 Mathematical logic Logic Theoretical computer science Logic in computer science Predicate logic Philosophical logic Automated theorem proving Logic programming Hoare logic Separation logic Unification Combinatory logic
65	Proceedings of the 6th International Workshop on the Implementation of Logics Christoph Benzm¨ uller, Bernd Fischer, Geoff Sutcliffe Add to Reading List Source URL: www.cs.miami.edu Language: English - Date: 2006-11-07 08:18:44 Theoretical computer science Automated theorem proving Mathematical logic Software Superposition calculus E theorem prover Vampire Term indexing Resolution Handbook of Automated Reasoning Automated reasoning Unification
66	LEO-II and Satallax on the Sledgehammer Test Bench Nik Sultanaa,∗, Jasmin Christian Blanchetteb , Lawrence C. Paulsona a Computer b Institut Laboratory, University of Cambridge, United Kingdom Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-01-25 16:18:54 Theoretical computer science Mathematical logic Logic in computer science Automated theorem proving Proof assistants Formal methods Type theory Isabelle First-order logic Logic for Computable Functions Unification HOL
67	Noname manuscript No. (will be inserted by the editor) A Decision Procedure for (Co)datatypes in SMT Solvers Andrew Reynolds · Jasmin Christian Blanchette Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2016-03-02 06:43:58 Mathematical logic Logic Theoretical computer science Type theory Automated theorem proving Logic programming Data types Unification Recursive data type Substitution Corecursion First-order logic
68	PHYSICAL REVIEW B 76, 033408 共2007兲 Unification of step bunching phenomena on vicinal surfaces Pak-Wing Fok,1 Rodolfo R. Rosales,2 and Dionisios Margetis3 1Applied Add to Reading List Source URL: udel.edu Language: English - Date: 2007-07-20 13:48:39 Chinese mythology Hong
69	Universal Multiple-Octet Coded Character Set UCS ISO/IEC JTC1/SC2/WG2 IRG N1049 Date: Source: Committee for Unification of Computer Chinese Character Encoding, Government of Add to Reading List Source URL: appsrv.cse.cuhk.edu.hk Language: English - Date: 2004-06-03 04:35:50 Character encoding Unicode Digital typography Computing Character sets Language Notation Universal Coded Character Set Ideographic Rapporteur Group Character UTF-8

UPDATE