Logical Methods in Computer Science - Test2 - elhamkhani - TriplyDB

Logical Methods in Computer Science

Logical Methods in Computer Science

http://www.wikidata.org/entity/Q13644986

Logical_Methods_in_Computer_Science Logical_Methods_in_Computer_Science Q13644986 %E9%9B%BB%E8%85%A6%E7%A7%91%E5%AD%B8%E9%82%8F%E8%BC%AF%E6%96%B9%E6%B3%95%E6%9C%9F%E5%88%8A

about

Bisimulations Meet PCTL Equivalences for Probabilistic Automata Type-elimination-based reasoning for the description logic SHIQbs using decision diagrams and disjunctive datalog First-Order and Temporal Logics for Nested Words A Rational Deconstruction of Landin's SECD Machine with the J Operator Continuous Markovian Logics - Axiomatization and Quantified Metatheory Generic algorithms for halting problem and optimal machines revisited Unification in the Description Logic EL FO Model Checking of Interval Graphs Adaptable processes Q57722163 High-level Counterexamples for Probabilistic Automata Analysis of Timed and Long-Run Objectives for Markov Automata Model Checking CTL is Almost Always Inherently Sequential Partial Order Infinitary Term Rewriting Modes of Convergence for Term Graph Rewriting Definability of linear equation systems over groups and rings Noncomputable functions in the Blum-Shub-Smale model Querying the Guarded Fragment Efficient CSL Model Checking Using Stratification Induction in Algebra: a First Case Study Tarski's influence on computer science Monads need not be endofunctors Predicate Abstraction with Under-Approximation Refinement Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic Software Model Checking with Explicit Scheduler and Symbolic Threads Modelling MAC-Layer Communications in Wireless Systems Positive Supercompilation for a Higher-Order Call-By-Value Language

P1433

Q51540612-8FE2447A-DA94-4330-BE7C-B196D0E48BF6 Q54824466-7AA3C3D6-849C-438C-A8F5-6F7D38ABE5E3 Q56912298-5406A5DB-CF76-4309-8517-52FC705B2992 Q56912305-3B69C5C1-E68D-4EF7-A0B7-1E95E917DD36 Q56981891-A69B5EFF-DF35-4897-8775-AA12C7E5D483 Q57349380-FFA1641B-E38B-4965-B197-39F407B3428D Q57383696-E8D00B94-625E-4AC9-81A9-5F74148326AB Q57601330-FD071CF0-D4CB-4DA9-86D1-FA9FD38FA99C Q57652396-16B971FC-E2CD-4AD8-8EC5-98B7668AD8DE Q57722163-E96AA727-A1E5-4788-AB88-606458334E42 Q57800674-C92204D7-B011-428D-8367-4AD9E7005153 Q57800783-36CE710B-5103-461F-AB1F-4EE4F2B4AC17 Q57998315-621BA7A1-F68D-4982-BA2F-0434824D62DE Q58061590-A2BC64F8-C3E3-4522-ACE1-5230460A80F5 Q58061608-BC7002DC-09F3-482D-A630-D8B6678C62FD Q58215482-7BECBA3A-5565-4CC8-95DF-E2BEC934C2B5 Q59199686-1211A02F-B46F-4DEA-AF2F-3A5D7B49A533 Q59259474-BC52332B-998C-493F-A1AE-E56D209EEE7D Q59416315-2B5DED37-C4C8-48F5-8BA3-E45C6D149AA2 Q59900912-EE222202-6FC8-4CC0-A81F-C5EBDC86990C Q60162908-E8DE5A8E-DCE0-4464-BCE1-FBA67D054F34 Q61583710-D2A4DD8B-B991-4290-A0F8-0E42E4183385 Q62039406-65111587-E01E-497A-9380-0FCD1E0052E8 Q62041120-21CE102C-108C-4B21-80B6-7305ADFE8661 Q62041199-BD9D99CE-BA2A-423E-9066-781A2A0EFFD2 Q62041610-B153EE94-BDCA-4563-95A9-152D810FD1AF Q62048633-52C0272C-EF54-4191-A6C5-7265F181E98D

P1433

Logical Methods in Computer Science

http://www.wikidata.org/entity/Q13644986

description

Journal

@de

revista científica

@es

revue scientifique sur la logique informatique

@fr

rivista scientifica

@it

scientific journal on logics in computer science

@en

vědecký časopis

@cs

wetenschappelijk tijdschrift van Logical Methods in Computer Science e.V.

@nl

वैज्ञानिक पत्रिका

@hi

name

Logical Methods in Computer Science

@ast

Logical Methods in Computer Science

@da

Logical Methods in Computer Science

@de

Logical Methods in Computer Science

@en

Logical Methods in Computer Science

@es

Logical Methods in Computer Science

@fi

Logical Methods in Computer Science

@fr

Logical Methods in Computer Science

@it

Logical Methods in Computer Science

@nb

Logical Methods in Computer Science

@nl

type

label

Logical Methods in Computer Science

@ast

Logical Methods in Computer Science

@da

Logical Methods in Computer Science

@de

Logical Methods in Computer Science

@en

Logical Methods in Computer Science

@es

Logical Methods in Computer Science

@fi

Logical Methods in Computer Science

@fr

Logical Methods in Computer Science

@it

Logical Methods in Computer Science

@nb

Logical Methods in Computer Science

@nl

altLabel

LMCS

@de

LMCS

@en

LMCS

@es

LMCS

@fr

prefLabel

Logical Methods in Computer Science

@ast

Logical Methods in Computer Science

@da

Logical Methods in Computer Science

@de

Logical Methods in Computer Science

@en

Logical Methods in Computer Science

@es

Logical Methods in Computer Science

@fi

Logical Methods in Computer Science

@fr

Logical Methods in Computer Science

@it

Logical Methods in Computer Science

@nb

Logical Methods in Computer Science

@nl

P1058

Q13644986-3D552CDE-F912-4726-AFD1-129CC945EB1D

P1156

Q13644986-91DA3328-570D-446A-AEF2-5C95CA77E5A4

P123

Q13644986-6191A9B6-1A62-404D-8518-F22EAD3C12E2

P1240

Q13644986-84B42C6D-57AF-40C6-91C2-A47346526E1C

P1250

Q13644986-EC775581-7D0D-4C37-A969-E0D90316FD0B

P127

Q13644986-4E3FA956-A7E1-4E11-937F-D2A0674249D4

P1277

Q13644986-62C1B81D-433E-476A-BB25-E17E33B2BA75

P1476

Q13644986-8F3FF8B0-36DF-44A8-A5F5-1F02C8EDB727

P1662

Q13644986-3738C990-93DE-425A-B07C-9542CDBC18C0

P17

Q13644986-1BA6D2BA-9C37-499D-A2E0-ACECBAE10D3D

P1813

Q13644986-2351aff1-4630-cb4b-ce82-30750e59b37e

P236

Q13644986-A97F93A1-1961-49CA-A199-29AEF26F0DF7

P243

Q13644986-37C8A73E-A59F-4A64-9D15-0ECF05C92030

P275

Q13644986-591809d8-4a2d-5c0e-b81c-c92713ea5e30

Q13644986-6E6AE209-9CE2-418C-87DF-1A6D717894A8

P31

Q13644986-1C10682A-6083-424D-92D0-0B0DC3C7922F

Q13644986-257b0ef5-480e-a77c-fe4f-569baec3c33d

Q13644986-912344D2-1A51-45C1-AE60-0D26158912DC

Q13644986-C7735271-6FC4-47DF-BAA5-50FF6DD679CF

P407

Q13644986-C12810C3-FFC6-475F-AADB-96793165D1C7

P4730

Q13644986-C6A49D28-4EC7-49BD-B59E-CFE9173C1DFD

P5115

Q13644986-93F3DA7A-953C-44AC-A390-6B6A479ADB69

P571

Q13644986-68345C61-F486-4435-B813-EDD068CD88A8

P6981

Q13644986-56C3A0A6-690B-4B7D-8E5D-964FCE52AA3C

P856

Q13644986-5FB8B535-507B-4C48-B732-68A9592EC614

P921

Q13644986-6A2D25FF-B751-4B8F-8765-17DB51D04905

P972

Q13644986-961237BD-3AF5-42B7-B592-AF4997B34561

P98

Q13644986-1A21BE16-8F57-4F33-AC68-D6C7883D4842

Q13644986-2741C482-8349-4221-BEDA-08F28B252237

Q13644986-2B32A121-62AB-4704-96C6-42D851AAB0FB

Q13644986-2CF97981-F68E-4813-9B7C-9AAE74AC0F7B

Q13644986-30E8AE67-C756-4006-89DC-A118B358D677

Q13644986-311E5D2B-9B86-46B3-8EE5-B1BE742C1061

Q13644986-42D45400-13CD-4751-B914-4D3F0CB075EA

Q13644986-451410EB-01B4-4C43-B935-EE18B4B1798E

Q13644986-4C5A6CFD-6811-4D96-8A05-7893AFB015A3

Q13644986-4C6804F8-7B64-4D4C-879C-74BC8CD9D109

P236

urn:ISSN:1860-5974

P243

P1058

39875

http://www.w3.org/2001/XMLSchema#string

P1156

19700175752

http://www.w3.org/2001/XMLSchema#string

P123

Logical Methods in Computer Science e.V.

P1240

2

http://www.w3.org/2001/XMLSchema#string

P1250

9194

http://www.w3.org/2001/XMLSchema#string

P127

Logical Methods in Computer Science e.V.

P1277

62776

http://www.w3.org/2001/XMLSchema#string

P1476

Logical Methods in Computer Science

@en

P1662

10.2168

http://www.w3.org/2001/XMLSchema#string

P17

P1813

LMCS

@en

P236

1860-5974

http://www.w3.org/2001/XMLSchema#string

P243

897996717

http://www.w3.org/2001/XMLSchema#string

P275

Creative Commons Attribution 4.0 International

P31

scientific journal

overlay journal

academic journal

open-access journal

P407

P4730

5804

http://www.w3.org/2001/XMLSchema#string

P5115

1860-5974

http://www.w3.org/2001/XMLSchema#string