Information and Computation

SCOPUS (1987-2023)SCIE-ISI

ISSN: 0890-5401

E-ISSN:

Quốc gia:

Cơ quản chủ quản: ACADEMIC PRESS INC ELSEVIER SCIENCE , Elsevier Inc.

Lĩnh vực:

Computer Science ApplicationsComputational Theory and MathematicsInformation SystemsTheoretical Computer Science

Các bài báo tiêu biểu

Boosting a Weak Learning Algorithm by Majority

Tập 121 Số 2 - Trang 256-285 - 1995

Yoav Freund

The monadic second-order logic of graphs. I. Recognizable sets of finite graphs

Tập 85 Số 1 - Trang 12-75 - 1990

Bruno Courcelle

A semantics of multiple inheritance

Tập 76 Số 2-3 - Trang 138-164 - 1988

Luca Cardelli

A Calculus for Cryptographic Protocols: The Spi Calculus

Tập 148 Số 1 - Trang 1-70 - 1999

Martı́n Abadi, Giorgio Ghelli

The Complexity of Propositional Linear Temporal Logics in Simple Cases

Tập 174 Số 1 - Trang 84-103 - 2002

Stéphane Demri, Philippe Schnoebelen

A Calculus for Overloaded Functions with Subtyping

Tập 117 Số 1 - Trang 115-135 - 1995

Giuseppe Castagna, Giorgio Ghelli, Giuseppe Longo

Testing Equivalence for Mobile Processes

Tập 120 Số 2 - Trang 279-303 - 1995

Michele Boreale, R. Denicola

Inapproximability of the Tutte polynomial

Tập 206 Số 7 - Trang 908-929 - 2008

Leslie Ann Goldberg, Mark Jerrum

A simple and deterministic competitive algorithm for online facility location

Tập 194 Số 2 - Trang 175-202 - 2004

Aris Anagnostopoulos, Russell Bent, Eli Upfal, Pascal Van Hentenryck

Specification in CTL+Past for Verification in CTL

Tập 156 Số 1-2 - Trang 236-263 - 2000

François Laroussinie, Ph. Schnoebelen

Các tạp chí khác

Scholar Hub - Công cụ hỗ trợ trích dẫn và phân tích khoa học Việt Nam

Về chúng tôi

Scholar Hub là công cụ hỗ trợ trích dẫn và phân tích các bài báo, công bố khoa học Việt Nam. Công cụ trợ giúp người nghiên cứu, tạp chí, đơn vị nghiên cứu tra cứu, phân tích và thống kê dữ liệu nghiên cứu khoa học tại Việt Nam và quốc tế.
ScholarHub KHÔNG đăng thông tin tổng hợp, KHÔNG đăng lại nội dung từ các trang báo chí Việt Nam hoặc trang thông tin điện tử khác tại Việt Nam.

Thông tin, cập nhật

Đăng ký Tạp chí tham gia vào Scholar Hub

Phản hồi ý kiến về Scholar Hub

Bài viết, nội dung cập nhật

Chủ đề khoa học

Website liên kết

Phần mềm kiểm tra trùng lặp Kiểm Tra Tài Liệu

Phần mềm xuất bản tạp chí điện tử VOJS

Công cụ kiểm tra chính tả và thể thức Viver

Nền tảng trắc nghiệm và đề thi đa lĩnh vực LetQA

Copyright © 2023 ScholarHub - Scholar Hub. All rights reserved