skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Resultados 1 2 3 4 5 next page
Refinado por: Nome da Publicação: Arxiv remover Nome da Publicação: Logical Methods In Computer Science remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Deciding All Behavioral Equivalences at Once: A Game for Linear-Time--Branching-Time Spectroscopy
Deciding All Behavioral Equivalences at Once: A Game for Linear-Time--Branching-Time Spectroscopy
Material Type:
Artigo 		Adicionar ao Meu Espaço

Deciding All Behavioral Equivalences at Once: A Game for Linear-Time--Branching-Time Spectroscopy

Bisping, Benjamin ; Jansen, David N ; Nestmann, Uwe

arXiv.org, 2022-08 [Periódico revisado por pares]

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
2
Life is Random, Time is Not: Markov Decision Processes with Window Objectives
Life is Random, Time is Not: Markov Decision Processes with Window Objectives
Material Type:
Artigo 		Adicionar ao Meu Espaço

Life is Random, Time is Not: Markov Decision Processes with Window Objectives

Thomas Brihaye ; Florent Delgrange ; Youssouf Oualhadj ; Mickael Randour

Logical methods in computer science, 2020-01, Vol.16, Issue 4 [Periódico revisado por pares]

Logical Methods in Computer Science e.V

Texto completo disponível

Citações Citado por
3
Interface Modeling for Quality and Resource Management
Interface Modeling for Quality and Resource Management
Material Type:
Artigo 		Adicionar ao Meu Espaço

Interface Modeling for Quality and Resource Management

Martijn Hendriks ; Marc Geilen ; Kees Goossens ; Rob de Jong ; Twan Basten

Logical methods in computer science, 2021-05, Vol.17, Issue 2 [Periódico revisado por pares]

Logical Methods in Computer Science e.V

Texto completo disponível

Citações Citado por
4
Shrub-depth: Capturing Height of Dense Graphs
Shrub-depth: Capturing Height of Dense Graphs
Material Type:
Artigo 		Adicionar ao Meu Espaço

Shrub-depth: Capturing Height of Dense Graphs

Ossona de Mendez, Patrice ; Ganian, Robert ; Hliněný, Petr ; Nešetřil, Jaroslav ; Obdrzalek, Jan

Logical methods in computer science, 2019, Vol.15 (1) [Periódico revisado por pares]

Logical Methods in Computer Science Association

Texto completo disponível

Citações Citado por
5
Field-based Coordination with the Share Operator
Field-based Coordination with the Share Operator
Material Type:
Artigo 		Adicionar ao Meu Espaço

Field-based Coordination with the Share Operator

Giorgio Audrito ; Jacob Beal ; Ferruccio Damiani ; Danilo Pianini ; Mirko Viroli

Logical methods in computer science, 2020-01, Vol.16, Issue 4 [Periódico revisado por pares]

Logical Methods in Computer Science e.V

Texto completo disponível

Citações Citado por
6
Reconfiguration and Message Losses in Parameterized Broadcast Networks
Reconfiguration and Message Losses in Parameterized Broadcast Networks
Material Type:
Artigo 		Adicionar ao Meu Espaço

Reconfiguration and Message Losses in Parameterized Broadcast Networks

Bertrand, Nathalie ; Bouyer, Patricia ; Majumdar, Anirban

Logical methods in computer science, 2021-01, Vol.17 (1), p.1-18 [Periódico revisado por pares]

Logical Methods in Computer Science Association

Texto completo disponível

Citações Citado por
7
Translation of Algorithmic Descriptions of Discrete Functions to SAT with Applications to Cryptanalysis Problems
Translation of Algorithmic Descriptions of Discrete Functions to SAT with Applications to Cryptanalysis Problems
Material Type:
Artigo 		Adicionar ao Meu Espaço

Translation of Algorithmic Descriptions of Discrete Functions to SAT with Applications to Cryptanalysis Problems

Alexander Semenov ; Ilya Otpuschennikov ; Irina Gribanova ; Oleg Zaikin ; Stepan Kochemazov

Logical methods in computer science, 2020-01, Vol.16, Issue 1 [Periódico revisado por pares]

Logical Methods in Computer Science e.V

Texto completo disponível

Citações Citado por
8
SAT-Inspired Higher-Order Eliminations
SAT-Inspired Higher-Order Eliminations
Material Type:
Artigo 		Adicionar ao Meu Espaço

SAT-Inspired Higher-Order Eliminations

Blanchette, Jasmin ; Vukmirović, Petar

Logical methods in computer science, 2023-05, Vol.19 (2) [Periódico revisado por pares]

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
9
PROBABILISTIC LOGICS BASED ON RIESZ SPACES
PROBABILISTIC LOGICS BASED ON RIESZ SPACES
Material Type:
Artigo 		Adicionar ao Meu Espaço

PROBABILISTIC LOGICS BASED ON RIESZ SPACES

Furber, Robert ; Mardare, Radu ; Mio, Matteo

Logical methods in computer science, 2020, Vol.16 [Periódico revisado por pares]

Logical Methods in Computer Science Association

Texto completo disponível

Citações Citado por
10
Theory of Higher Order Interpretations and Application to Basic Feasible Functions
Theory of Higher Order Interpretations and Application to Basic Feasible Functions
Material Type:
Artigo 		Adicionar ao Meu Espaço

Theory of Higher Order Interpretations and Application to Basic Feasible Functions

Hainry, Emmanuel ; Péchoux, Romain

Logical methods in computer science, 2020-01, Vol.16 (4) [Periódico revisado por pares]

Logical Methods in Computer Science Association

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 5 next page

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.