Back to Results
First PageMeta Content
Logic in computer science / Functions and mappings / Formal methods / Function / First-order logic / Predicate transformer semantics / FO / Quasigroup / Dynamic logic / Mathematics / Mathematical logic / Logic


A Formalization of Programs in First-Order Logic with a Discrete Linear Order∗ Fangzhen Lin () Department of Computer Science The Hong Kong University of Science and Technology Clear Water Bay, Kowloon, H
Add to Reading List

Document Date: 2014-03-07 00:56:20

Open Document

File Size: 190,16 KB

Share Result on Facebook

City

New York / /

Currency

pence / /

/

Facility

Prentice Hall / Computer Science The Hong Kong University of Science / /

IndustryTerm

integer division algorithm / computing / rule applications / /

NaturalFeature

Technology Clear Water Bay / /

Organization

Artificial Copyright Intelligence / Hong Kong University of Science and Technology Clear Water Bay / Association for the Advancement / /

Person

Ernst / Turing / /

Position

translator / programmer / model / /

ProgrammingLanguage

C / Java / /

ProvinceOrState

New Jersey / /

PublishedMedium

Theoretical Computer Science / Communications of the ACM / Lecture Notes in Computer Science / /

Technology

artificial intelligence / Java / /

URL

http /

SocialTag