Unification

Results: 1593



#Item
61Character encoding / Unicode blocks / Unicode / Character sets / Korean language / CJK Unified Ideographs / Ideographic Rapporteur Group / Han unification / CJK Compatibility Ideographs / CJK characters / Variation Selectors / Plane

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
62Specialising the Ground Representation in the Logic Programming Language G¨odel. C.A.Gurr∗ University of Edinburgh  Abstract

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
63Computing / Theoretical computer science / Unicode / Character sets / Universal Coded Character Set / Mathematical logic / Glyph / Unification / Ext JS / Attribute

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
64Unifying Refinement and Hoare-Style Reasoning in a Logic for Higher-Order Concurrency Aaron Turon Derek Dreyer

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
65Proceedings of the  6th International Workshop on the Implementation of Logics Christoph Benzm¨ uller, Bernd Fischer, Geoff Sutcliffe

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
66LEO-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

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
67Noname manuscript No. (will be inserted by the editor) A Decision Procedure for (Co)datatypes in SMT Solvers Andrew Reynolds · Jasmin Christian Blanchette

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
68PHYSICAL 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

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
69Character encoding / Unicode / Digital typography / Computing / Character sets / Language / Notation / Universal Coded Character Set / Ideographic Rapporteur Group / Character / UTF-8

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