Volume List

Title information

Outline

Information and computation
AB:Inf. comput. KT:Information and computation
Academic Press
Reference only

Detail

Jpn. or Foreign
洋雑誌
Series 80-95,108-115
Seriese Read. 1989-1994
Continuation
/
Frequency
9
Notes Title from cover INFCEC CF:Information and control
ISSN 08905401
NACSIS ID AA1067013X
Journal Code Z0001100

Volume List

Volume50 items
View switching
Show list
per page
  • 1
    Volume - Vol. No.

    Vol.115 No.2 (357)

    Volume - Years of Serial
    December 1994
    Volume - Feature Article
    Adding Action Refinement to a Finite Process Algebra
    Volume - Location Code
    地下雑誌
    Registration No.
    S0076725
  • 2
    Volume - Vol. No.

    Vol.115 No.1 (356)

    Volume - Years of Serial
    November 1994
    Volume - Feature Article
    Reasoning about Infinite Computations
    Volume - Location Code
    地下雑誌
    Registration No.
    S0076724
  • 3
    Volume - Vol. No.

    Vol.114 No.2 (355)

    Volume - Years of Serial
    November 1994
    Volume - Feature Article
    Approximate Interface and Scientific Method
    Volume - Location Code
    地下雑誌
    Registration No.
    S0076723
  • 4
    Volume - Vol. No.

    Vol.114 No.1 (354)

    Volume - Years of Serial
    October 1994
    Volume - Feature Article
    Polymorphic Rewriting Conserves Algebraic Confluence
    Volume - Location Code
    地下雑誌
    Registration No.
    S0076722
  • 5
    Volume - Vol. No.

    Vol.113 No.2 (353)

    Volume - Years of Serial
    September 1994
    Volume - Feature Article
    Impossibility Results in the Presence of Multiple Faulty Processes
    Volume - Location Code
    地下雑誌
    Registration No.
    S0076721
  • 6
    Volume - Vol. No.

    Vol.113 No.1 (352)

    Volume - Years of Serial
    August 1994
    Volume - Feature Article
    Membership Testing in Threshold One Transformation Monoids
    Volume - Location Code
    地下雑誌
    Registration No.
    S0076720
  • 7
    Volume - Vol. No.

    Vol.112 No.2 (351)

    Volume - Years of Serial
    August 1994
    Volume - Feature Article
    Equational Formulae with Membersip Constraints
    Volume - Location Code
    地下雑誌
    Registration No.
    S0076719
  • 8
    Volume - Vol. No.

    Vol.112 No.1 (350)

    Volume - Years of Serial
    July 1994
    Volume - Feature Article
    Decidability and Expressiveness for First-Order Logics of Probability
    Volume - Location Code
    地下雑誌
    Registration No.
    S0076718
  • 9
    Volume - Vol. No.

    Vol.111 No.2 (349)

    Volume - Years of Serial
    June 1994
    Volume - Feature Article
    Symbolic Model Checking for Real-Time Systems
    Volume - Location Code
    地下雑誌
    Registration No.
    S0076717
  • 10
    Volume - Vol. No.

    Vol.111 No.1 (348)

    Volume - Years of Serial
    May 15, 1994
    Volume - Feature Article
    Turning SOS Rules into Equations
    Volume - Location Code
    地下雑誌
    Registration No.
    S0076716
  • 11
    Volume - Vol. No.

    Vol.110 No.2 (347)

    Volume - Years of Serial
    May 1, 1994
    Volume - Feature Article
    Sequentiality in an Extensional Framework
    Volume - Location Code
    地下雑誌
    Registration No.
    S0076715
  • 12
    Volume - Vol. No.

    Vol.110 No.1 (346)

    Volume - Years of Serial
    April 1994
    Volume - Feature Article
    Polylog Depth Circuits for Integer Factoring and Discete Logarithms
    Volume - Location Code
    地下雑誌
    Registration No.
    S0076714
  • 13
    Volume - Vol. No.

    Vol.109 No.1 (345)

    Volume - Years of Serial
    February 15/March 1994
    Volume - Feature Article
    An Exatension of System F with Subtyping
    Volume - Location Code
    地下雑誌
    Registration No.
    S0076713
  • 14
    Volume - Vol. No.

    Vol.108 No.2 (344)

    Volume - Years of Serial
    February 1, 1994
    Volume - Feature Article
    Rich Classes Inferable from Positive Data:Length-Bounded Elementary Formal Systems
    Volume - Location Code
    地下雑誌
    Registration No.
    S0076712
  • 15
    Volume - Vol. No.

    Vol.108 No.1 (343)

    Volume - Years of Serial
    January 1994
    Volume - Feature Article
    Decidability of the Existential Theory of Infinite Terms with subterm Relation
    Volume - Location Code
    地下雑誌
    Registration No.
    S0076711