Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
skip to main content
article

Metafinite model theory

Published: 10 January 1998 Publication History

Abstract

No abstract available.

Cited By

View all

Recommendations

Comments

Information & Contributors

Information

Published In

cover image Information and Computation
Information and Computation  Volume 140, Issue 1
Special issue: logic and computational complexity
Jan. 10, 1998
93 pages
ISSN:0890-5401
Issue’s Table of Contents

Publisher

Academic Press, Inc.

United States

Publication History

Published: 10 January 1998

Qualifiers

  • Article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)0
  • Downloads (Last 6 weeks)0
Reflects downloads up to 25 Dec 2024

Other Metrics

Citations

Cited By

View all
  • (2023)Logics with Probabilistic Team Semantics and the Boolean NegationLogics in Artificial Intelligence10.1007/978-3-031-43619-2_45(665-680)Online publication date: 20-Sep-2023
  • (2022)Logics with Multiteam SemanticsACM Transactions on Computational Logic10.1145/348757923:2(1-30)Online publication date: 14-Jan-2022
  • (2021)Tractability Frontiers in Probabilistic Team Semantics and Existential Second-Order Logic over the RealsLogics in Artificial Intelligence10.1007/978-3-030-75775-5_18(262-278)Online publication date: 17-May-2021
  • (2020)Descriptive complexity of real computation and probabilistic independence logicProceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science10.1145/3373718.3394773(550-563)Online publication date: 8-Jul-2020
  • (2017)Descriptive complexity for counting complexity classesProceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science10.5555/3329995.3330085(1-12)Online publication date: 20-Jun-2017
  • (2017)Definability of summation problems for abelian groups and semigroupsProceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science10.5555/3329995.3330017(1-11)Online publication date: 20-Jun-2017
  • (2017)Evolving concurrent systemsProceedings of the Australasian Computer Science Week Multiconference10.1145/3014812.3017446(1-10)Online publication date: 30-Jan-2017
  • (2016)A new thesis concerning synchronised parallel computing - simplified parallel ASM thesisTheoretical Computer Science10.1016/j.tcs.2016.08.013649:C(25-53)Online publication date: 11-Oct-2016
  • (2016)A Logic for Non-deterministic Parallel Abstract State MachinesProceedings of the 9th International Symposium on Foundations of Information and Knowledge Systems - Volume 961610.1007/978-3-319-30024-5_18(334-354)Online publication date: 7-Mar-2016
  • (2012)Synchronous parallel database transformationsProceedings of the 7th international conference on Foundations of Information and Knowledge Systems10.1007/978-3-642-28472-4_21(370-383)Online publication date: 5-Mar-2012
  • Show More Cited By

View Options

View options

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media