Logic, Language and Computation

Festschrift in Honor of Satoru Takasu

By: Neil Jones (Editor), Masami Hagiya (Editor), Masahiko Sato (Editor)

Write A Review

Paperback | 30 March 1994

At a Glance

Paperback
292 Pages

Dimensions(cm)
23.39 x 15.6 x 1.55

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Aims to ship in 7 to 10 business days

This volume contains 15 papers from research areas where Japanese theoretical computer science is particularly strong. Many are about logic, and its realization and applications to computer science; others concern synthesis, transformation and implementation of programming languages, and complexity and coding theory. Not coincidentally, all the authors are either former students or close colleagues of Satoru Takasu, professor and director at the Research Institute of Mathematical Sciences at the University of Kyoto. The purpose of this volume is to celebrate Professor Takasu's influence on theoretical computer science in Japan and worldwide by his research, his philosophy, and his advising of students. The breadth, depth and quality of the papers are characteristic of his interests and activities.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Mathematics Mathematical Foundation Mathematical Logic Computing & I.T.Computer Programming & Software Development Programming & Scripting Languages Computer Science Mathematical Theory of Computation Computer Architecture & Logic Design Artificial Intelligence Natural Language & Machine Translation

Compilers & Interpreters

Lifschitz' Logic of Calculable Numbers and Optimizations in Program Extraction	p. 1
On Implicit Arguments	p. 10
A Functional System with Transfinitely Defined Types	p. 31
The Non-deterministic Catch and Throw Mechanism and Its Subject Reduction Property	p. 61
Conservativeness of [Lambda] over [lambda][sigma]-Calculus	p. 73
ML with First-Class Environments and its Type Inference Algorithm	p. 95
A Simple Proof of the Genericity Lemma	p. 117
The Logic of FOL Systems: Formulated in Set Theory	p. 119
Well-Ordering of Algebras and Kruskal's Theorem	p. 133
On Locomorphism in Analytical Equivalence Theory	p. 173
Analysis of a Software/Hardware System by Tense Arithmetic	p. 188
The Essence of Program Transformation by Partial Evaluation and Driving	p. 206
Program Transformation via Contextual Assertions	p. 225
On Coding Theorems with Modified Length Functions	p. 255
Thirty four Comparisons are Required to Sort 13 Items	p. 260
Table of Contents provided by Blackwell. All Rights Reserved.

Logic, Language and Computation

Festschrift in Honor of Satoru Takasu

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Computer Programming & Software Development

Python Crash Course

3rd Edition - A Hands-On, Project-Based Introduction to Programming

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

Windows 11 For Seniors For Dummies, 2nd Edition

Arduino Programming using Simulink

Python Experiments in Physics and Astronomy

From Data to Models and Back

11th International Symposium, DataMod 2023, Eindhoven, The Netherlands, November 6-7, 2023, Revised Selected Papers

Designing Data-Intensive Applications

Big Ideas Behind Reliable, Scalable, and Maintainable Systems

Learning Python

Powerful Object-Oriented Programming

Fluent Python

Clear, Concise, and Effective Programming 2nd Edition

The C Programming Language

Prentice Hall Software

Make: Electronics, 3e

Learning by Discovery: A hands-on primer for the new electronics enthusiast

Python All-in-One For Dummies

3rd Edition

Effective Modern C++

42 Specific Ways to Improve Your Use of C++11 And C++14

Think Python

How To Think Like a Computer Scientist

The Art of SEO

Mastering Search Engine Optimization

Python for Data Analysis 3e

Data Wrangling with pandas, NumPy, and Jupyter

The Engineering Executive's Primer

Impactful Technical Leadership

Introduction to Machine Learning with Python

A Guide for Data Scientists

Computer Coding Python Games for Kids

DK Help Your Kids With

The Legend of Zelda(tm) Tears of the Kingdom - The Complete Official Guide

Collector's Edition

Programming Rust

Fast, Safe Systems Development 2nd Edition

Python for Excel

A Modern Environment for Automation and Data Analysis

Code Dependent

Living in the Shadow of AI

C# 12 in a Nutshell

The Definitive Reference

This product is categorised by