Solving String Constraints With Streaming String Transducers

Journal of Information Processing

doi 10.2197/ipsjjip.27.810

Full Text

Abstract

Available in

Date

January 1, 2019

Authors

Yasuhiko Minamide

Publisher

Information Processing Society of Japan

Related search

Decision Procedures for String Constraints

English

Characterizing a Cosmic String With the Statistics of String Lensing

Physical Review D

English

String Art: Towards Computational Fabrication of String Images

Computer Graphics Forum

Computer Networks

Computer Graphics

Computer-Aided Design

English

Half-String Oscillator Approach to String Field Theory

Nuclear Physics B

High Energy Physics

English

String-Figures

Multidisciplinary

English

String Theory

Proceedings of the National Academy of Sciences of the United States of America

Multidisciplinary

English

String Instruments

English

Parallel String Matching

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English

String Reconciliation With Unknown Edit Distance

English