বিষয়বস্তু এড়িয়ে যান
VuFind
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文（繁體）
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Հայերէն
Українська
Sámegiella
Монгол
ভাষা
সমস্ত ক্ষেত্রসমূহ
আখ্যা
লেখক
বিষয়
ডাক সংখ্যা
আইসবিএন/আইএসএসএন
ট্যাগ
অনুসন্ধান
বিস্তৃত
Model-checking games for fixpo...
সাইট করুন
এই পাঠটি
এই ই-মেইলটি
মুদ্রণ
নথি এক্সপোর্ট করুন
এক্সপোর্ট করুন RefWorks
এক্সপোর্ট করুন EndNoteWeb
এক্সপোর্ট করুন EndNote
স্থায়ী লিঙ্ক
Model-checking games for fixpoint logics with partial order models
অন্যান্য সংস্করণ প্রদর্শন করুন (2)
গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক:
Gutierrez, J
,
Bradfield, J
বিন্যাস:
Journal article
প্রকাশিত:
2011
হোল্ডিংস
বিবরন
অন্যান্য সংস্করণ (2)
অনুরূপ উপাদানগুলি
স্টাফেদের বিবরণ দেখুন
অনুরূপ উপাদানগুলি
Model-checking games for fixpoint logics with partial order models
অনুযায়ী: Gutierrez, J, অন্যান্য
প্রকাশিত: (2010)
Model-checking games for fixpoint logics with partial order models
অনুযায়ী: Gutierrez, J, অন্যান্য
প্রকাশিত: (2009)
The Complexity of Model Checking Higher-Order Fixpoint Logic
অনুযায়ী: Roland Axelsson, অন্যান্য
প্রকাশিত: (2007-06-01)
On independence-friendly fixpoint logics
অনুযায়ী: J. C. Bradfield
প্রকাশিত: (2004-10-01)
The Complexity of Independence−Friendly Fixpoint Logic
অনুযায়ী: Bradfield, J, অন্যান্য
প্রকাশিত: (2007)
The Complexity of Independence−Friendly Fixpoint Logic
অনুযায়ী: Bradfield, J, অন্যান্য
প্রকাশিত: (2005)
Games for Topological Fixpoint Logic
অনুযায়ী: Nick Bezhanishvili, অন্যান্য
প্রকাশিত: (2016-09-01)
A Probabilistic Higher-order Fixpoint Logic
অনুযায়ী: Yo Mitani, অন্যান্য
প্রকাশিত: (2021-12-01)
On fixpoint logics and equivalences for processes with restricted nondeterminism
অনুযায়ী: Gutierrez, J
প্রকাশিত: (2015)
On fixpoint logics and equivalences for processes with restricted nondeterminism
অনুযায়ী: Gutierrez, J
প্রকাশিত: (2015)
Alternation Is Strict For Higher-Order Modal Fixpoint Logic
অনুযায়ী: Florian Bruse
প্রকাশিত: (2016-09-01)
Partial-order Boolean games: informational independence in a logic-based model of strategic interaction
অনুযায়ী: Bradfield, J, অন্যান্য
প্রকাশিত: (2015)
Characterizing definability in decidable fixpoint logics
অনুযায়ী: Benedikt, M, অন্যান্য
প্রকাশিত: (2017)
Fixpointed Idempotent Uninorm (Based) Logics
অনুযায়ী: Eunsuk Yang
প্রকাশিত: (2019-01-01)
The Fixpoint-Iteration Algorithm for Parity Games
অনুযায়ী: Florian Bruse, অন্যান্য
প্রকাশিত: (2014-08-01)
Definability and interpolation within decidable fixpoint logics
অনুযায়ী: Benedikt, M, অন্যান্য
প্রকাশিত: (2019)
Definability and Interpolation within Decidable Fixpoint Logics
অনুযায়ী: Michael Benedikt, অন্যান্য
প্রকাশিত: (2019-09-01)
Concurrent logic games on partial orders
অনুযায়ী: Gutierrez, J
প্রকাশিত: (2011)
A step up in expressiveness of decidable fixpoint logics
অনুযায়ী: Boom, M, অন্যান্য
প্রকাশিত: (2016)
Simple Fixpoint Iteration To Solve Parity Games
অনুযায়ী: Tom van Dijk, অন্যান্য
প্রকাশিত: (2019-09-01)
Multiagent Compromises‚ Joint Fixpoints‚ and Stable Models
অনুযায়ী: Buccafurri, F, অন্যান্য
প্রকাশিত: (2002)
Fixpoint Characterizations for Many−Valued Disjunctive Logic Programs with Probabilistic Semantics
অনুযায়ী: Lukasiewicz, T
প্রকাশিত: (2001)
Fixpoint Theory -- Upside Down
অনুযায়ী: Paolo Baldan, অন্যান্য
প্রকাশিত: (2023-06-01)
Operations on Fixpoint Equation Systems
অনুযায়ী: Thomas Neele, অন্যান্য
প্রকাশিত: (2024-07-01)
Indexed linear logic and higher-order model checking
অনুযায়ী: Charles Grellois, অন্যান্য
প্রকাশিত: (2015-03-01)
Two Variable vs. Linear Temporal Logic in Model Checking and Games
অনুযায়ী: Benedikt, M, অন্যান্য
প্রকাশিত: (2011)
TWO VARIABLE VS. LINEAR TEMPORAL LOGIC IN MODEL CHECKING AND GAMES
অনুযায়ী: Benedikt, M, অন্যান্য
প্রকাশিত: (2013)
Two variable and linear temporal logic in model checking and games
অনুযায়ী: Lenhardt, R
প্রকাশিত: (2013)
Partial orders for efficient bounded model checking of concurrent software
অনুযায়ী: Alglave, J, অন্যান্য
প্রকাশিত: (2013)
Arrow's Theorem Through a Fixpoint Argument
অনুযায়ী: Frank M. V. Feys, অন্যান্য
প্রকাশিত: (2019-07-01)
Two Variable vs. Linear Temporal Logic in Model Checking and Games
অনুযায়ী: Michael Benedikt, অন্যান্য
প্রকাশিত: (2013-05-01)
Partial order games
অনুযায়ী: Zahoransky, V, অন্যান্য
প্রকাশিত: (2021)
On modeling and complete solutions to general fixpoint problems in multi-scale systems with applications
অনুযায়ী: Ning Ruan, অন্যান্য
প্রকাশিত: (2018-10-01)
Asynchronous Distributed Execution Of Fixpoint-Based Computational Fields
অনুযায়ী: Alberto Lluch Lafuente, অন্যান্য
প্রকাশিত: (2017-03-01)
LNL-FPC: The Linear/Non-linear Fixpoint Calculus
অনুযায়ী: Bert Lindenhovius, অন্যান্য
প্রকাশিত: (2021-04-01)
Subdigraphs of almost Moore digraphs induced by fixpoints of an automorphism
অনুযায়ী: Anita Abildgaard Sillasen
প্রকাশিত: (2015-03-01)
Partial Order Games
অনুযায়ী: Valeria Zahoransky, অন্যান্য
প্রকাশিত: (2021-12-01)
The parameterized space complexity of model-checking bounded variable first-order logic
অনুযায়ী: Yijia Chen, অন্যান্য
প্রকাশিত: (2019-09-01)
Fixing incremental computation: derivatives of fixpoints, and the recursive semantics of datalog
অনুযায়ী: Alvarez-Picallo, M, অন্যান্য
প্রকাশিত: (2019)
Declarative symbolic pure-logic model checking
অনুযায়ী: Shlyakhter, Ilya, 1975-
প্রকাশিত: (2006)
প্রাকদর্শন
পরবর্তী
অনুরূপ উপাদানগুলি
Model-checking games for fixpoint logics with partial order models
অনুযায়ী: Gutierrez, J, অন্যান্য
প্রকাশিত: (2010)
Model-checking games for fixpoint logics with partial order models
অনুযায়ী: Gutierrez, J, অন্যান্য
প্রকাশিত: (2009)
The Complexity of Model Checking Higher-Order Fixpoint Logic
অনুযায়ী: Roland Axelsson, অন্যান্য
প্রকাশিত: (2007-06-01)
On independence-friendly fixpoint logics
অনুযায়ী: J. C. Bradfield
প্রকাশিত: (2004-10-01)
The Complexity of Independence−Friendly Fixpoint Logic
অনুযায়ী: Bradfield, J, অন্যান্য
প্রকাশিত: (2007)