## Found 365 Documents (Results 1–100)

100
MathJax

MSC:  06A07
Full Text:

MSC:  68Qxx
Full Text:

### The weak axiom of revealed preference and inverse problems in consumer theory. (English)Zbl 1483.91119

MSC:  91B42 91B08
Full Text:

### The relationships between fuzzy topologies and fuzzy rough sets. (Chinese. English summary)Zbl 07448300

MSC:  54A40 03E72

MSC:  68Qxx
Full Text:

### A new approach to regular & indeterminate strings. (English)Zbl 1477.68555

MSC:  68W32 68R15
Full Text:

### Simpler completeness proofs for modal logics with intersection. (English)Zbl 07437027

Martins, Manuel A. (ed.) et al., Dynamic logic. New trends and applications. Third international workshop, Dalí 2020, Prague, Czech Republic, October 9–10, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12569, 259-276 (2020).
MSC:  03B70
Full Text:

### A note on the fast computation of transitive closure of graphs and the multiplication of integer matrices. (English. Russian original)Zbl 1465.05177

Mosc. Univ. Math. Bull. 75, No. 6, 239-245 (2020); translation from Vestn. Mosk. Univ., Ser. I 75, No. 6, 14-19 (2020).
Full Text:

Full Text:

### Iterative division in the Distributive Full Non-Associative Lambek Calculus. (English)Zbl 07218624

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:  03B70
Full Text:

### The relationships between topologies and generalized rough sets. (English)Zbl 1434.68578

MSC:  68T37 54A99
Full Text:

### Hereditarily homogeneous generalized topological spaces. (English)Zbl 1455.54006

MSC:  54A05 54D10
Full Text:

### Path querying with conjunctive grammars by matrix multiplication. (English)Zbl 1455.68077

MSC:  68Q42 68W40
Full Text:

### Transitive closure and transitive reduction in bidirected graphs. (English)Zbl 07088785

MSC:  05C22 05C20 05C38
Full Text:

Full Text:

### The 2-closure of a $$\frac{3}{2}$$-transitive group in polynomial time. (English. Russian original)Zbl 07082360

Sib. Math. J. 60, No. 2, 279-290 (2019); translation from Sib. Mat. Zh. 60, No. 2, 360-375 (2019).
MSC:  20-XX
Full Text:

Full Text:

Full Text:

### Uniform inductive reasoning in transitive closure logic via infinite descent. (English)Zbl 07533342

Ghica, Dan R. (ed.) et al., 27th EACSL annual conference on computer science logic, CSL 2018, Birmingham, United Kingdom, September 4–8, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 119, Article 17, 16 p. (2018).
MSC:  03B70
Full Text:

Full Text:

### On decompositions of semirings via $$k$$-radicals of some relations. (English)Zbl 1413.16063

MSC:  16Y60 16N80
Full Text:

### Improving data locality of RNA secondary structure prediction code. (English)Zbl 07529055

Rutkowski, Leszek (ed.) et al., Artificial intelligence and soft computing. 16th international conference, ICAISC 2017, Zakopane, Poland, June 11–15, 2017. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 10245, 690-699 (2017).
MSC:  92D20 92-08 92-04
Full Text:

MSC:  03E72

### On some open problems connected with discrete dynamical systems in abstract analysis. (English)Zbl 1387.54024

MSC:  54H20 54A05 54C70 91A05 91A06 54C60
Full Text:

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

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:  03B70
Full Text:

MSC:  05C60
Full Text:

### An algebraic approach to multirelations and their properties. (English)Zbl 1471.03088

MSC:  03G15 08A02
Full Text:

Full Text:

### Solution of graph problems by means of the STAR-machine being implemented on GPUs. (Russian. English summary)Zbl 07310352

MSC:  68-XX 65-XX
Full Text:

Full Text:

### Intuitionistic fuzzy graphs: weakening and strengthening members of a group. (English)Zbl 1371.05237

MSC:  05C72 05C25

MSC:  68Q45
Full Text:

MSC:  68N20
Full Text:

### Into the square: on the complexity of some quadratic-time solvable problems. (English)Zbl 1345.68170

Crescenzi, Pierluigi (ed.) et al., Proceedings of ICTCS 2015, the 16th Italian conference on theoretical computer science, Firenze, Italy, September 9–11, 2015. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 322, 51-67, electronic only (2016).
MSC:  68Q25 68Q17
Full Text:

### On semi-open sets and mutual correspondence between properties of functions considered with respect to different topological structures. (English)Zbl 06609721

MSC:  54A05 54C08 26A15
Full Text:

### A note on the complexity of computing the number of reachable vertices in a digraph. (English)Zbl 1362.68099

MSC:  68Q25 05C85
Full Text:

Full Text:

### Clustering methods based on weighted quasi-arithmetic means of $$T$$-transitive fuzzy relations. (English)Zbl 1377.68219

MSC:  68T05 68T10 68T37
Full Text:

### Precipitation regional classification based on mixed fuzzy clustering analysis. (Chinese. English summary)Zbl 1349.62297

MSC:  62H86 62H30

MSC:  03B25
Full Text:

### Using basis dependence distance vectors in the modified Floyd-Warshall algorithm. (English)Zbl 1319.05123

MSC:  05C85 68R10 68N20
Full Text:

### Characterizing weighted MSO for trees by branching transitive closure logics. (English)Zbl 1353.03040

MSC:  03D05 03B15
Full Text:

### Algebra. A teaching and source book. (English)Zbl 1346.00003

Cham: Springer (ISBN 978-3-319-19733-3/pbk; 978-3-319-19734-0/ebook). xxii, 539 p. (2015).
Full Text:

Full Text:

### Isotonic regression for multiple independent variables. (English)Zbl 1312.62084

MSC:  62J02 68W25 90C35
Full Text:

Full Text:

### Natural mereology and classical mereology. (English)Zbl 1436.03040

Calosi, Claudio (ed.) et al., Mereology and the sciences. Parts and wholes in the contemporary scientific context. Cham: Springer. Synth. Libr. 371, 141-159 (2014).
MSC:  03A05 03B60
Full Text:

### Filtration safe operations on frames. (English)Zbl 1385.03020

Goré, Rajeev (ed.) et al., Advances in modal logic. Vol. 10. Proceedings of the 10th conference (AiML 2014), Groningen, Netherlands, August 5–8, 2014. London: College Publications (ISBN 978-1-84890-151-3/pbk). 333-352 (2014).
MSC:  03B45 03B70

### Decidability of weak logics with deterministic transitive closure. (English)Zbl 1394.03015

Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 29, 10 p. (2014).
MSC:  03B25 03B20 68Q17
Full Text:

### Determining operations affected by delay in predictive train timetables. (English)Zbl 1348.90244

MSC:  90B35 90C31
Full Text:

### A novel attribute reduction algorithm of intuitionistic fuzzy-valued information system. (Chinese. English summary)Zbl 1324.68197

MSC:  68T37 68T30

MSC:  03E72
Full Text:

Full Text:

### Intuitionistic fuzzy incline matrix and determinant. (English)Zbl 1307.15049

MSC:  15B15 15A15
Full Text:

### Graph invertibility. (English)Zbl 1298.05265

MSC:  05C70 05C20 05C38
Full Text:

### Concurrent Kleene algebra with tests. (English)Zbl 1345.68139

Höfner, Peter (ed.) et al., Relational and algebraic methods in computer science. 14th international conference, RAMiCS 2014, Marienstatt, Germany, April 28 – May 1, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-06250-1/pbk). Lecture Notes in Computer Science 8428, 37-48 (2014).
Full Text:

### Reachability in graph timelines. (English)Zbl 1362.68061

Proceedings of the 4th conference on innovations in theoretical computer science, ITCS’13, Berkeley, CA, USA, January 9–12, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1859-4). 257-268 (2013).
Full Text:

MSC:  03E72
Full Text:

### Fun with semirings: a functional pearl on the abuse of linear algebra. (English)Zbl 1323.68110

Proceedings of the 18th ACM SIGPLAN international conference on functional programming, ICFP ’13, Boston, MA, USA, September 25–27, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2326-0). ACM SIGPLAN Notices 48, No. 9, 101-110 (2013).
MSC:  68N18 15B33 16Y60
Full Text:

Full Text:

### Embedding an analytic equivalence relation in the transitive closure of a Borel relation. (English)Zbl 1345.03087

MSC:  03E02 03E15 28A05
Full Text:

### A novel interval-valued attribution reduction algorithm based on fuzzy clustering. (Chinese. English summary)Zbl 1299.68155

MSC:  68T30 68T37

### Nilpotent groups derived from hypergroups. (English)Zbl 1286.20079

MSC:  20N20 20F18
Full Text:

### Using basis dependence distance vectors to calculate the transitive closure of dependence relations by means of the Floyd-Warshall algorithm. (English)Zbl 1406.68017

Widmayer, Peter (ed.) et al., Combinatorial optimization and applications. 7th international conference, COCOA 2013, Chengdu, China, December 12–14, 2013. Proceedings. Berlin: Springer (ISBN 978-3-319-03779-0/pbk). Lecture Notes in Computer Science 8287, 129-140 (2013).
Full Text:

Full Text:

### Computing transitive closure of bipolar weighted digraphs. (English)Zbl 1254.05069

MSC:  05C20 05C22 05C72
Full Text:

### Conservativity of transitive closure over weak constructive operational set theory. (English)Zbl 1317.03040

Berger, Ulrich (ed.) et al., Logic, construction, computation. Dedicated to the 70th birthday of Helmut Schwichtenberg. Frankfurt am Main: Ontos Verlag; Berlin: De Gruyter (ISBN 978-3-11-032453-2/hbk; 978-3-86838-158-0/hbk; 978-3-11-032492-1/ebook). Ontos Mathematical Logic 3, 91-121 (2012).
MSC:  03F65 03E70

### Two-variable universal logic with transitive closure. (English)Zbl 1252.03078

Cégielski, Patrick (ed.) et al., Computer science logic (CSL’12). 26th international workshop, 21th annual conference of the EACSL, September 3–6, 2012, Fontainebleau, France. Selected papers based on the presentations at the conference. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-42-2). LIPIcs – Leibniz International Proceedings in Informatics 16, 396-410, electronic only (2012).
MSC:  03B70 03B25 68Q25
Full Text:

MSC:  03E72
Full Text:

Full Text:

Full Text:

### On the transitive closure of reciprocal $$[0, 1]$$-valued relations. (English)Zbl 1254.03096

Proceedings of the 7th conference of the European Society for Fuzzy Logic and Technology (EUSFLAT-2011) and 17th annual LFA meeting, Aix-Les-Bains, France, July 18–22, 2011. Amsterdam: Atlantis Press (ISBN 9978-90-78677-00-0). Paper No. 146, 1015-1021 (2011).
MSC:  03E72 68T37 91B06
Full Text:

### Transitive openings. (English)Zbl 1254.03090

Proceedings of the 7th conference of the European Society for Fuzzy Logic and Technology (EUSFLAT-2011) and 17th annual LFA meeting, Aix-Les-Bains, France, July 18–22, 2011. Amsterdam: Atlantis Press (ISBN 9978-90-78677-00-0). Paper No. 72, 493-497 (2011).
MSC:  03E72
Full Text:

### On separating sets of words. V. (English)Zbl 1258.68107

MSC:  68R15 68Q42

### The transitive closure and related algorithms of digraph on the reconfigurable architecture. (English)Zbl 1253.68026

MSC:  68M07 68R10 05C20
Full Text:

### Minimal digraph associated with a topology. (English)Zbl 1242.05069

MSC:  05C10 54A05
Full Text:

MSC:  03E72
Full Text:

MSC:  03B52
Full Text:

### On the sizes of graphs and their powers: the undirected case. (English)Zbl 1228.05247

MSC:  05C76 05C12
Full Text:

Full Text:

### Exponential space complexity for OBDD-based reachability analysis. (English)Zbl 1379.68147

MSC:  68Q17 68P05 68R10
Full Text:

### Pure pointer programs with iteration. (English)Zbl 1351.68101

MSC:  68Q05 68Q15 68Q65 68W05
Full Text:

### Completeness proof by semantic diagrams for transitive closure of accessibility relation. (English)Zbl 1254.03034

Beklemishev, Lev (ed.) et al., Advances in modal logic. Vol. 8. Proceedings of the 8th conference (AiML 2010), Moscow, Russia, August 24–27, 2010. London: College Publications (ISBN 978-1-84890-013-4). 200-217 (2010).
MSC:  03B45

### Topological spaces associated with a directed semigraph. (English)Zbl 1220.05050

Tamizh Chelvam, T. (ed.) et al., Algebra, graph theory and their applications. New Delhi: Narosa Publishing House (ISBN 978-81-8487-069-5/hbk). 77-87 (2010).
MSC:  05C20 05C10 54A99

MSC:  94C15
Full Text:

### An iterative algorithm of computing the transitive closure of a union of parameterized affine integer tuple relations. (English)Zbl 1310.68169

Wu, Weili (ed.) et al., Combinatorial optimization and applications. 4th international conference, COCOA 2010, Kailua-Kona, HI, USA, December 18–20, 2010. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-17457-5/pbk). Lecture Notes in Computer Science 6508, 104-113 (2010).
MSC:  68R10 05C85
Full Text:

### On nilpotency of generalized fuzzy matrices. (English)Zbl 1205.15046

MSC:  15B15 15B33 16Y60
Full Text:

Full Text:

### Closures and topological closures in quasi-discrete closure spaces. (English)Zbl 1193.54001

MSC:  54A05 54A10
Full Text:

### On the axiom of union. (English)Zbl 1192.03028

MSC:  03E30 03E35 03E55
Full Text:

MSC:  68W20
Full Text:

### Symbolic OBDD-based reachability analysis needs exponential space. (English)Zbl 1274.68087

van Leeuwen, Jan (ed.) et al., SOFSEM 2010: Theory and practice of computer science. 36th conference on current trends in theory and practice of computer science, Špindlerův Mlýn, Czech Republic, January 23–29, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-11265-2/pbk). Lecture Notes in Computer Science 5901, 224-234 (2010).
Full Text:

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

MSC:  03B25 68Q60
Full Text:

### Calculating exact transitive closure for a normalized affine integer tuple relation. (English)Zbl 1267.05071

Balakrishnan, R. (ed.) et al., International conference on graph theory and its applications. Papers from the conference, Coimbatore, India, December 11–13, 2008. Amsterdam: Elsevier. Electronic Notes in Discrete Mathematics 33, 7-14 (2009).
MSC:  05C10
Full Text:

### The transitive closure and the reduction of nilpotent matrices over an additively idempotent semiring. (Chinese. English summary)Zbl 1212.15039

MSC:  15B33 16Y60

MSC:  91E30
Full Text:

### Computing the transitive closure of a union of affine integer tuple relations. (English)Zbl 1246.05145

Du, Ding-Zhu (ed.) et al., Combinatorial optimization and applications. Third international conference, COCOA 2009, Huangshan, China, June 10–12, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02025-4/pbk). Lecture Notes in Computer Science 5573, 98-109 (2009).
MSC:  05C85 68W30
Full Text:

all top 5

all top 5

all top 5

all top 3

all top 3