Matches in SemOpenAlex for { <https://semopenalex.org/work/W2122058195> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2122058195 endingPage "158" @default.
- W2122058195 startingPage "147" @default.
- W2122058195 abstract "Following recent works connecting two-variable logic to circuits and monoids, we establish, for numerical predicate sets satisfying a certain closure property, a one-to-one correspondence between $FO[<,ensuremath{mathfrak{P}}]$ -uniform linear circuits, two-variable formulae with $ensuremath{mathfrak{P}}$ predicates, and weak block products of monoids. In particular, we consider the case of linear TC0, majority quantifiers, and finitely typed monoids. This correspondence will hold for any numerical predicate set which is FO[ < ]-closed and whose predicates do not depend on the input length." @default.
- W2122058195 created "2016-06-24" @default.
- W2122058195 creator A5004321867 @default.
- W2122058195 creator A5011977613 @default.
- W2122058195 creator A5054983240 @default.
- W2122058195 date "2007-01-01" @default.
- W2122058195 modified "2023-10-16" @default.
- W2122058195 title "Linear Circuits, Two-Variable Logic and Weakly Blocked Monoids" @default.
- W2122058195 cites W1481876218 @default.
- W2122058195 cites W1607580303 @default.
- W2122058195 cites W1764454094 @default.
- W2122058195 cites W1884582486 @default.
- W2122058195 cites W200063938 @default.
- W2122058195 cites W2010465749 @default.
- W2122058195 cites W2014850486 @default.
- W2122058195 cites W2017208950 @default.
- W2122058195 cites W2026713735 @default.
- W2122058195 cites W2034586951 @default.
- W2122058195 cites W2045583484 @default.
- W2122058195 cites W2111355708 @default.
- W2122058195 cites W4238852104 @default.
- W2122058195 cites W4240781210 @default.
- W2122058195 cites W4254213727 @default.
- W2122058195 doi "https://doi.org/10.1007/978-3-540-74456-6_15" @default.
- W2122058195 hasPublicationYear "2007" @default.
- W2122058195 type Work @default.
- W2122058195 sameAs 2122058195 @default.
- W2122058195 citedByCount "7" @default.
- W2122058195 countsByYear W21220581952013 @default.
- W2122058195 countsByYear W21220581952016 @default.
- W2122058195 countsByYear W21220581952017 @default.
- W2122058195 crossrefType "book-chapter" @default.
- W2122058195 hasAuthorship W2122058195A5004321867 @default.
- W2122058195 hasAuthorship W2122058195A5011977613 @default.
- W2122058195 hasAuthorship W2122058195A5054983240 @default.
- W2122058195 hasBestOaLocation W21220581952 @default.
- W2122058195 hasConcept C102993220 @default.
- W2122058195 hasConcept C110039528 @default.
- W2122058195 hasConcept C11413529 @default.
- W2122058195 hasConcept C118615104 @default.
- W2122058195 hasConcept C134306372 @default.
- W2122058195 hasConcept C140146324 @default.
- W2122058195 hasConcept C146834321 @default.
- W2122058195 hasConcept C162324750 @default.
- W2122058195 hasConcept C182365436 @default.
- W2122058195 hasConcept C19689857 @default.
- W2122058195 hasConcept C199360897 @default.
- W2122058195 hasConcept C203659156 @default.
- W2122058195 hasConcept C33923547 @default.
- W2122058195 hasConcept C34447519 @default.
- W2122058195 hasConcept C41008148 @default.
- W2122058195 hasConcept C73314972 @default.
- W2122058195 hasConcept C80444323 @default.
- W2122058195 hasConcept C94375191 @default.
- W2122058195 hasConceptScore W2122058195C102993220 @default.
- W2122058195 hasConceptScore W2122058195C110039528 @default.
- W2122058195 hasConceptScore W2122058195C11413529 @default.
- W2122058195 hasConceptScore W2122058195C118615104 @default.
- W2122058195 hasConceptScore W2122058195C134306372 @default.
- W2122058195 hasConceptScore W2122058195C140146324 @default.
- W2122058195 hasConceptScore W2122058195C146834321 @default.
- W2122058195 hasConceptScore W2122058195C162324750 @default.
- W2122058195 hasConceptScore W2122058195C182365436 @default.
- W2122058195 hasConceptScore W2122058195C19689857 @default.
- W2122058195 hasConceptScore W2122058195C199360897 @default.
- W2122058195 hasConceptScore W2122058195C203659156 @default.
- W2122058195 hasConceptScore W2122058195C33923547 @default.
- W2122058195 hasConceptScore W2122058195C34447519 @default.
- W2122058195 hasConceptScore W2122058195C41008148 @default.
- W2122058195 hasConceptScore W2122058195C73314972 @default.
- W2122058195 hasConceptScore W2122058195C80444323 @default.
- W2122058195 hasConceptScore W2122058195C94375191 @default.
- W2122058195 hasLocation W21220581951 @default.
- W2122058195 hasLocation W21220581952 @default.
- W2122058195 hasOpenAccess W2122058195 @default.
- W2122058195 hasPrimaryLocation W21220581951 @default.
- W2122058195 hasRelatedWork W1518138802 @default.
- W2122058195 hasRelatedWork W19518518 @default.
- W2122058195 hasRelatedWork W1972606747 @default.
- W2122058195 hasRelatedWork W2018616641 @default.
- W2122058195 hasRelatedWork W2085625417 @default.
- W2122058195 hasRelatedWork W2155581733 @default.
- W2122058195 hasRelatedWork W2296002977 @default.
- W2122058195 hasRelatedWork W24511637 @default.
- W2122058195 hasRelatedWork W3007835832 @default.
- W2122058195 hasRelatedWork W4147469 @default.
- W2122058195 isParatext "false" @default.
- W2122058195 isRetracted "false" @default.
- W2122058195 magId "2122058195" @default.
- W2122058195 workType "book-chapter" @default.