Document Search Results - zbMATH Open

×

from until

Sorting

Found 10 Documents (Results 1–10)

Newest Citations Relevance

Iterative division in the distributive full non-associative Lambek calculus. (English) Zbl 1496.03093

Soares Barbosa, Luís (ed.) et al., Dynamic logic. New trends and applications. Second international workshop, DALI 2019, Porto, Portugal, October 7–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12005, 141-154 (2020).

MSC: 03B47

Cite Review PDF

Full Text: DOI arXiv

Substructural logics with a reflexive transitive closure modality. (English) Zbl 1496.03092

Kennedy, Juliette (ed.) et al., Logic, language, information, and computation. 24th international workshop, WoLLIC 2017, London, UK, July 18–21, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10388, 349-357 (2017).

MSC: 03B47 03B45

Cite Review PDF

Full Text: DOI

Abadi, Aharon; Rabinovich, Alexander; Sagiv, Mooly

Decidable fragments of many-sorted logic. (English) Zbl 1183.03007

J. Symb. Comput. 45, No. 2, 153-172 (2010).

MSC: 03B25 68Q60

Cite Review PDF

Full Text: DOI

Cécé, Gérard; Héam, Pierre-Cyrille; Mainier, Yann

Efficiency of automata in semi-commutation verification techniques. (English) Zbl 1144.68039

Theor. Inform. Appl. 42, No. 2, 197-215 (2008).

MSC: 68Q60 68N30 68Q45

Cite Review PDF

Full Text: DOI EuDML HAL

Baswana, Surender; Mehta, Shashank K.; Powar, Vishal

Implied set closure and its application to memory consistency verification. (English) Zbl 1155.68424

Gupta, Aarti (ed.) et al., Computer aided verification. 20th international conference, CAV 2008, Princeton, NJ, USA, July 7–14, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-70543-7/pbk). Lecture Notes in Computer Science 5123, 94-106 (2008).

MSC: 68Q60 05C85 68Q25 68R10

Cite Review PDF

Full Text: DOI

Yorsh, Greta; Rabinovich, Alexander; Sagiv, Mooly; Meyer, Antoine; Bouajjani, Ahmed

A logic of reachable patterns in linked data-structures. (English) Zbl 1121.03040

J. Log. Algebr. Program. 73, No. 1-2, 111-142 (2007).

Reviewer: Alex Nabebin (Moskva)

MSC: 03B70 03B25 68P05 03B15 03D05 68N30 68Q60

Cite Review PDF

Full Text: DOI arXiv

Geerts, Floris; Kuijpers, Bart; Van den Bussche, Jan

Linearization and completeness results for terminating transitive closure queries on spatial databases. (English) Zbl 1115.68064

SIAM J. Comput. 35, No. 6, 1386-1439 (2006).

MSC: 68P15 14P10 57R05 03B70

Cite Review PDF

Full Text: DOI

Tamassia, Roberto; Preparata, Franco P.

Dynamic maintenance of planar digraphs, with applications. (English) Zbl 0697.68026

Algorithmica 5, No. 4, 509-527 (1990).

MSC: 68Q60 68Q25 68R10

Cite Review PDF

Full Text: DOI

Schmitz, Lothar

An exercise in program synthesis: algorithms for computing the transitive closure of a relation. (English) Zbl 0479.68038

Sci. Comput. Program. 1, 235-254 (1982).

MSC: 68W99 68Q60 03E20 03-04

Cite Review PDF

Full Text: DOI

von Rimscha, Michael

Nichtfundierte Mengenlehre. (German) Zbl 0419.03031

Fachbereich Mathematik-Naturwissenschaften der Christian-Albrechts- Universität zu Kiel. 87 S. (1978).

MSC: 03E30 03E65 03E35 03B40

Cite Review PDF

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

2020 (1)
2017 (1)
2010 (1)
2008 (2)
2007 (1)
2006 (1)
1990 (1)
1982 (1)
1978 (1)

all top 3

Main Field

03-XX (7)
68-XX (7)
05-XX (1)
14-XX (1)
57-XX (1)

all top 3

Software

JML (1)
MONA (1)
OCaml (1)
TSOTool (1)
TVLA (1)
Timbuk (1)
Z (1)

© 2024 FIZ Karlsruhe GmbH Privacy Policy Legal Notices Terms & Conditions