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

Ships in 5 to 7 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

Orders over $79.00 qualify for free shipping.

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 Natural Language & Machine Translation

How To Think About AI A Guide For The Perplexed

A Guide For The Perplexed

Artificial Intelligence All-in-One For Dummies

For Dummies (Computer/Tech)

Introduction to Machine Learning with Python

A Guide for Data Scientists

Hands-On Large Language Models

Language Understanding and Generation

Scaling Responsible AI

From Enthusiasm to Execution

Think Python

How To Think Like a Computer Scientist

Artificial Intelligence for HR

Use AI to Support and Develop a Successful Workforce

ChatGPT For Dummies

For Dummies (Computer/Tech)

The Ultimate ChatGPT Prompt Book

750+ Expert Prompts to Boost Productivity, Unlock Creative Potential, and Simplify Tasks

The Scaling Era

An Oral History of AI, 2019-2025

AI Engineering

Building Applications with Foundation Models

AI Systems Performance Engineering

Optimizing Model Training and Inference Workloads with Gpus, Cuda, and Pytorch

Natural Language Processing with Transformers, Revised Edition

Hands-On Machine Learning with Scikit-Learn, Keras, and TensorFlow 3e

Concepts, Tools, and Techniques to Build Intelligent Systems

Generative AI on Aws

Building Context-Aware Multimodal Reasoning Applications

Learning LangChain

Building AI and LLM Applications with LangChain and LangGraph

Recent Advances in Computational Methods in Science and Technology

Volume 1

Federated Learning for Healthcare

Applications with Case Studies

Recent Advances in Computational Methods in Science and Technology

Volume 2

Acting

Keywords and Concepts

Acting

Keywords and Concepts

AI for the Ordinary

A Non-technical Playbook for Citizens, Students, and Managers

Embracing Techno-Humanities in the Age of AI

Routledge Studies in Translation Technology

Errant Intelligence

A Media Theory of Machine Learning

This product is categorised by